gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 06:23:08 -08:00
Code Issues Packages Projects Releases Wiki Activity

feat: pretty output line

Browse Source
This commit is contained in:
Benjamin Lipp
2025-06-03 16:22:56 +02:00
parent 4bdc464b5b
commit 744cf6fb50
4 changed files with 60 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
marzipan/TODO.md
View File

@@ -14,7 +14,7 @@
## Next Steps
* `pretty_output` Bash function
* pretty_output_line
* ~~pretty_output_line~~
* awk RESULT flush in marzipan()
* move the whole metaverif function to Python
* move the whole analyze function to Python
@@ -25,4 +25,7 @@
* integrate this upstream, into the CI?
* “make it beautiful” steps? more resiliency to working directory?
* rewrite our awk usages into Python/…?
* yes, possibly as extension to the LARK grammar
* and rewrite the AST within Python
* reconstruct ProVerif input file for ProVerif
* rewrite our CPP usages into Python/…?