From 4bdc464b5bdb24b8aa52c7cbde6ad4738f722ceb Mon Sep 17 00:00:00 2001
From: Benjamin Lipp <blipp@mailbox.org>
Date: Tue, 6 May 2025 17:40:10 +0200
Subject: [PATCH] chore: plan TODOs for the next times

Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de>
---
 marzipan/TODO.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/marzipan/TODO.md b/marzipan/TODO.md
index 7bb1fa7..2c8573d 100644
--- a/marzipan/TODO.md
+++ b/marzipan/TODO.md
@@ -14,3 +14,15 @@
 ## Next Steps
 
 * `pretty_output` Bash function
+  * pretty_output_line
+  * awk RESULT flush in marzipan()
+* move the whole metaverif function to Python
+* move the whole analyze function to Python
+  * find the files
+  * start subprocesses in parallel
+  * wait for them to finish
+* think about next steps
+  * integrate this upstream, into the CI?
+  * “make it beautiful” steps? more resiliency to working directory?
+  * rewrite our awk usages into Python/…?
+  * rewrite our CPP usages into Python/…?