From 0f885a0c210a11940875e10199ec8b1d7f3e7173 Mon Sep 17 00:00:00 2001 From: Benjamin Lipp Date: Tue, 19 May 2026 17:57:38 +0200 Subject: [PATCH] chore: add idea --- marzipan/TODO.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/marzipan/TODO.md b/marzipan/TODO.md index 38ae15fd..98bae1a7 100644 --- a/marzipan/TODO.md +++ b/marzipan/TODO.md @@ -63,4 +63,10 @@ * rewrite our CPP usages into Python/…? * low priority: nested comments in ProVerif code +## Idea + +* somehow parse Horn clauses output from ProVerif into something more helpful? + +## First Target + “it replaces the Bash script and is idiomatic Python code”