mirror of https://github.com/rosenpass/rosenpass.git synced 2026-07-30 23:30:11 -07:00

Files

T

Benjamin LippandAnja Rabich 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

marzipan.vim

add marzipan, a dialect of proverif

2023-02-23 20:46:17 +01:00

nix

feat: add nix setup for marzipan

2025-02-20 15:04:24 +01:00

src

feat: add CLI param for configurable output/target directory

2025-09-16 16:47:32 +02:00

flake.lock

feat: add nix setup for marzipan

2025-02-20 15:04:24 +01:00

flake.nix

feat: add nix setup for marzipan

2025-02-20 15:04:24 +01:00

marzipan.awk

add marzipan, a dialect of proverif

2023-02-23 20:46:17 +01:00

poetry.lock

try nix shell

2025-04-08 16:43:31 +02:00

pyproject.toml

try nix shell

2025-04-08 16:43:31 +02:00

README.md

fix: change awk mode from append to write

2025-09-02 16:35:46 +02:00

test-gpt-oss-2.py

feat(WIP): integrate marzipan.awk into Python

2025-09-16 18:00:01 +02:00

test-gpt-oss.py

feat(WIP): integrate marzipan.awk into Python

2025-09-16 18:00:01 +02:00

TODO.md

feat(WIP): integrate marzipan.awk into Python

2025-09-16 18:00:01 +02:00

README.md

Rewriting analyze.sh in Python

../analyze.sh is the old script
src/__init__.py is the new script
call the old script from the Rosenpass repository's root directory with ./analyze.sh
call the new script:
- nix run .# -- analyze $repo where $repo is the absolute(?) path to the root directory of the Rosenpass repository.