gitea-mirror/rosenpass

mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 06:23:08 -08:00

Files

History

Benjamin Lipp 481977510d feat: catch parser errors when using parse CLI

2025-12-08 16:56:18 +01:00

..

add marzipan, a dialect of proverif

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

feat: add nix setup for marzipan

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

feat: catch parser errors when using parse CLI

2025-12-08 16:56:18 +01: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

WIP: lark parser for awk

2025-09-30 17:46:33 +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: add model name to log entries

2025-12-08 16:55:45 +01: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 from the marzipan directory:
- nix run .# -- analyze $repo where $repo is the absolute(?) path to the root directory of the Rosenpass repository.