Benjamin Lipp
7b1a62b6bb
feat: do not try to reject reserved words
...
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-11-18 17:55:32 +01:00
Benjamin Lipp
d1a33981b1
feat: add missing option terms
2025-11-18 16:15:20 +01:00
Benjamin Lipp
f20fd1acc3
feat: module declaration, WIP: missing ProVerif option terms
...
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-10-14 18:01:13 +02:00
Benjamin Lipp
3ce0d262d9
feat: add parser for multi-line comments, without nesting
...
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-10-14 17:31:31 +02:00
Anja Rabich
a389e3c222
WIP: lark parser for awk
...
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu >
2025-09-30 17:46:33 +02:00
Benjamin Lipp
cb16bd44bb
feat(WIP): integrate marzipan.awk into Python
...
The LLM-generated Python code showed us that the replacement of aliases,
or, as a preparatory step, the tokenization, is something for LARK.
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-09-16 18:00:01 +02:00
Benjamin Lipp
3f4c7c2786
feat: add CLI param for configurable output/target directory
...
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-09-16 16:47:32 +02:00
Anja Rabich
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 Rabich
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
Benjamin Lipp
b1ac5d9244
feat(WIP): clean up code and TODOs, add clean command
...
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-08-12 18:02:20 +02:00
Anja Rabich
a4ff3d4eb5
feat: WIP clean-up TODOs
...
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu >
2025-08-05 17:57:07 +02:00
Benjamin Lipp
a5ae83e726
chore: add TODOs
2025-07-22 17:42:13 +02:00
Karolin Varner
9327c2c4f3
chore: Add code review
2025-07-22 17:10:28 +02:00
Benjamin Lipp
b140c56359
feat: move analyze to Python, including parallel execution
...
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de >
2025-07-15 17:35:30 +02:00
Anja Rabich
d20bb137c9
feat: metaverif function
...
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu >
2025-07-01 17:37:38 +02:00
Anja Rabich
c259be76c8
WIP: metaverif part 2
...
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu >
2025-07-01 17:08:11 +02:00
Anja Rabich
73d180c4cf
WIP: metaverif in python
...
Co-Authored-By: Benjamin Lipp <blipp@rosenpass.eu >
2025-06-17 18:01:03 +02:00
Benjamin Lipp
d44a96e6b6
fix: add +x flag in mode of marzipan/src/analyze.sh
2025-06-17 16:30:31 +02:00
Benjamin Lipp
ff20fbbe3a
WIP: move metaverif to Python
...
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-06-10 18:06:33 +02:00
Benjamin Lipp
5232ab3a8e
feat: move parsing of RESULT lines to Python
...
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-06-10 17:45:21 +02:00
Benjamin Lipp
2e27753f4a
feat: move pretty_output to Python
...
* Remove pretty_output_line from Bash
* Remove pretty_output_line from click CLI
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-06-10 17:13:42 +02:00
Benjamin Lipp
2628adbac8
feat(WIP): pretty output in Python
...
Work on repairing the regexes in pretty_output
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-06-03 18:00:27 +02:00
Benjamin Lipp
744cf6fb50
feat: pretty output line
2025-06-03 16:22:56 +02:00
Benjamin Lipp
4bdc464b5b
chore: plan TODOs for the next times
...
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-05-06 17:40:10 +02:00
Benjamin Lipp
eb64f50d99
chore: update TODO, remove unused code
...
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-05-06 17:28:25 +02:00
Benjamin Lipp
73b04cdc12
feat: move awk prep call to Python
...
Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de >
2025-05-06 17:25:58 +02:00
Benjamin Lipp
437c591b2d
chore: update TODO
2025-05-06 17:09:27 +02:00
Benjamin Lipp
7cbd6576d4
feat: move cpp call to Python
2025-05-06 17:08:21 +02:00
Benjamin Lipp
ac5a5cf76d
chore: clarify path in README
2025-05-06 16:34:59 +02:00
Benjamin Lipp
18359ef3f4
chore: clean up unused log parameter
2025-05-06 16:34:35 +02:00
Anja Rabich
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
Benjamin Lipp
56db757de3
chore: add TODO
2025-04-08 17:54:29 +02:00
Benjamin Lipp
5ff3bc944e
chore: add README for marzipan
2025-04-08 17:52:07 +02:00
Benjamin Lipp
fb93258fcc
feat: fix issue with empty extra_args
2025-04-08 17:44:37 +02:00
Benjamin Lipp
9ab120843a
try nix shell
2025-04-08 16:43:31 +02:00
Benjamin Lipp
25f2abac80
WIP
2025-02-20 15:04:24 +01:00
Benjamin Lipp
c7ec12be9a
feat: add nix setup for marzipan
2025-02-20 15:04:24 +01:00
Karolin Varner
2a917de6d8
add marzipan, a dialect of proverif
2023-02-23 20:46:17 +01:00
