gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2025-12-12 15:49:22 -08:00
Code Issues Packages Projects Releases Wiki Activity

chore: update TODO

Browse Source
This commit is contained in:
Benjamin Lipp
2025-05-06 17:09:27 +02:00
parent 7cbd6576d4
commit 437c591b2d
2 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
marzipan/TODO.md
View File

@@ -8,9 +8,9 @@
rosenpass$ rosenpass-marzipan run-proverif target/proverif/03_identity_hiding_responder.entry.o.pv target/proverif/03_identity_hiding_responder.entry.log
```
* ~~provide log parameter to `rosenpass-marzipan`-call~~ (no, it was intentionally not used)
* ~~cpp pre-processing stuff~~
## Next Steps
* cpp pre-processing stuff
* awk pre-processing stuff
* `pretty_output` Bash function

1
marzipan/src/analyze.sh
View File

@@ -102,7 +102,6 @@ metaverif() {
echo "internal metaverif"
#exc cpp -P -I"${PWD}/$(dirname "${file}")" "${file}" -o "${cpp_prep}"
exc rosenpass-marzipan cpp ${file} ${cpp_prep}