From 095ce2ce9340a7050aceb11ba626a1a9a966436a Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Mon, 3 Feb 2025 15:01:05 +0100
Subject: [PATCH] update todo

---
 TODO.md | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/TODO.md b/TODO.md
index ecbc58b..83b389d 100644
--- a/TODO.md
+++ b/TODO.md
@@ -5,11 +5,7 @@
 - https://source.android.com/docs/core/runtime/dex-format#system-annotation
 - goto size computation
 - no nop when no payload
-- option to get label at every code addresses
 - name register / parameters
-- ord in python
-
-if (FALSE):
-  invoke-method()
-else:
-  method.invoke()
+- fix flake
+- fix python binding
+- clean repo