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

chore: update TODO, remove unused code

Browse Source 
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de>
This commit is contained in:
Benjamin Lipp
2025-05-06 17:28:25 +02:00
parent 73b04cdc12
commit eb64f50d99
2 changed files with 1 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
marzipan/TODO.md
View File

@@ -9,8 +9,8 @@
``` ```
* ~~provide log parameter to `rosenpass-marzipan`-call~~ (no, it was intentionally not used) * ~~provide log parameter to `rosenpass-marzipan`-call~~ (no, it was intentionally not used)
* ~~cpp pre-processing stuff~~ * ~~cpp pre-processing stuff~~
* ~~awk pre-processing stuff~~
## Next Steps ## Next Steps
* awk pre-processing stuff
* `pretty_output` Bash function * `pretty_output` Bash function

24
marzipan/src/analyze.sh
View File

@@ -14,30 +14,6 @@ run_proverif() {
clean_warnings() { clean_warnings() {
exc rosenpass-marzipan clean-warnings exc rosenpass-marzipan clean-warnings
: <<'END_COMMENT'
awk '
BEGIN {
null = "0455290a-50d5-4f28-8008-3d69605c2835"
p = null;
}
function pt(arg) {
if (arg != null) {
print(arg);
}
}
function bod() {
if ($0 !~ /^Warning: identifier \w+ rebound.$/) {
pt(p);
p=$0;
} else {
p=null;
}
}
{ bod(); }
END { $0=null; bod(); }
'
END_COMMENT
} }
color_red='\033[0;31m' color_red='\033[0;31m'