 Anja RabichandBenjamin Lipp
|
8725fa836d
|
feat: minimal working example of annotation removal
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2026-02-23 17:49:50 +01:00 |
|
|
Anja RabichandBenjamin Lipp
|
6c21b4b559
|
WIP: mini-proverif grammar with macros
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2026-02-02 17:58:58 +01:00 |
|
|
Anja Rabich
|
b7ecf6786a
|
feat: update proverif grammar
Authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2026-02-02 17:58:09 +01:00 |
|
|
Anja Rabich
|
2958c3c512
|
Merge branch 'blipp/analyze_py/compat' into arabich/analyze_py/ast
|
2026-02-02 16:45:05 +01:00 |
|
|
Anja Rabich
|
1f2e997721
|
WIP: dataclasses <-> grammar + input
|
2026-01-26 18:05:36 +01:00 |
|
|
Anja RabichandBenjamin Lipp
|
444e782854
|
WIP: awk replacement
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-12-15 18:05:32 +01:00 |
|
|
Anja Rabich
|
0a945aa152
|
feat: WIP awk rewrite
|
2025-12-08 17:18:42 +01:00 |
|
|
Anja RabichandBenjamin Lipp
|
a389e3c222
|
WIP: lark parser for awk
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-09-30 17:46:33 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
475f4593f9
|
feat: improve exception handling and error codes + refactor run_proverif
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-09-02 17:56:13 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
13c5edbe44
|
fix: change awk mode from append to write
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-09-02 16:35:46 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
a4ff3d4eb5
|
feat: WIP clean-up TODOs
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-08-05 17:57:07 +02:00 |
|
|
Anja Rabich
|
19ebce79f1
|
Merge branch 'main' into analyze_py
|
2025-08-05 16:43:19 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
d20bb137c9
|
feat: metaverif function
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-07-01 17:37:38 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
c259be76c8
|
WIP: metaverif part 2
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-07-01 17:08:11 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
73d180c4cf
|
WIP: metaverif in python
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-06-17 18:01:03 +02:00 |
|
|
Anja RabichandBenjamin Lipp
|
3e161d8c8d
|
feat: add clean_warnings() in __init__.py
chore: update TODO.md
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu>
|
2025-04-22 18:09:14 +02:00 |
|