gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-07-30 23:30:11 -07:00
Code Issues Packages Projects Releases Wiki Activity

chore: add idea

Browse Source
This commit is contained in:
Benjamin Lipp
2026-05-19 17:57:38 +02:00
parent 3945c8c7fa
commit 0f885a0c21
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
marzipan/TODO.md
+6
View File
@@ -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”