gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-07-30 23:30:11 -07:00
Code Issues Packages Projects Releases Wiki Activity
1,140 Commits 61 Branches 19 Tags
c8813b34ff01afe61adb6d16e8e38befc7441d2a
Commit Graph
1140 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Benjamin Lipp c8813b34ff fix: add missing directory 2026-07-07 16:23:41 +02:00
Benjamin LippandAnja Rabich cbb1b66a0d WIP: pretty printer 
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de>
 2026-07-07 16:23:03 +02:00
Benjamin LippandAnja Rabich c30b437b1e fix: indentation in nested levels 
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de>
 2026-06-16 17:30:21 +02:00
Benjamin LippandAnja Rabich 8bf1383edc feat(WIP): indentation 
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de>
 2026-06-09 18:04:17 +02:00
Benjamin LippandAnja Rabich f6d4752ad0 feat: move handling of None into list handling 
Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de>
 2026-06-09 16:36:14 +02:00
Benjamin Lipp ec6d2e1b64 fix: resolve type checking issues 2026-06-09 15:58:41 +02:00
Benjamin LippandAnja Rabich a6cf1c500c feat(WIP): better templating for pretty printer 
with configuration options

Co-authored-by: Anja Rabich <a.rabich@uni-luebeck.de>
 2026-06-02 18:02:14 +02:00
Benjamin Lipp a7944a5935 feat: read sample from file and write result to file 
for easier diffability
 2026-06-02 18:01:21 +02:00
Anja RabichandBenjamin Lipp 36d3c8f6e3 feat: pv pretty_printer for minimal grammar 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2026-05-26 17:57:18 +02:00
Benjamin Lipp 0f885a0c21 chore: add idea 2026-05-19 17:57:38 +02:00
Anja RabichandBenjamin Lipp 3945c8c7fa WIP2: pretty_prints 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2026-05-19 17:56:31 +02:00
Anja RabichandBenjamin Lipp 467846413d WIP: dataclass pretty_print 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2026-04-13 17:58:09 +02:00
Anja RabichandBenjamin Lipp ca90e05f89 feat: fix lemma transformation, WIP pretty_print, cProfile 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2026-03-30 18:37:30 +02:00
Anja RabichandBenjamin Lipp aa2f037f89 feat: ast_deepcopy_except 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2026-03-23 17:59:10 +01:00
Anja RabichandBenjamin Lipp 8305c806e1 WIP: dataclasses for minimal working example 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2026-03-02 17:52:51 +01:00
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
Benjamin Lipp 263967d5f0 feat: add missing grammar rules for CryptoVerif compat 2026-02-02 16:22:04 +01:00
Benjamin Lipp 7d78867f27 feat: use m4 when parsing pcv files 2026-02-02 16:20:04 +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
Benjamin Lipp 2c35c5b4ad chore: add script to test ProVerif example files 2025-12-08 16:58:11 +01:00
Benjamin Lipp 3a1b981ce3 fix: errors in ProVerif grammar found by ProVerif example files 2025-12-08 16:57:53 +01:00
Benjamin Lipp 481977510d feat: catch parser errors when using parse CLI 2025-12-08 16:56:18 +01:00
Benjamin Lipp 4d4c214600 feat: add model name to log entries 2025-12-08 16:55:45 +01:00
Benjamin Lipp e14fc12f88 fix: add missing defines for 04_dos model 
The newly (re-)added lines come from this pull request: https://github.com/rosenpass/rosenpass/pull/230
 2025-12-01 15:11:10 +01:00
Benjamin Lipp 6af6fb6b2a fix: pterm can resolve to NAT 2025-11-25 16:00:16 +01:00
Benjamin Lipp e3b43a59bf fix: transcription errors in grammar relating to processes 2025-11-25 15:59:29 +01:00
Benjamin Lipp 3942bfa65e chore: add comment indicating CryptoVerif terms 2025-11-25 15:58:45 +01:00
Benjamin LippandAnja Rabich 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 LippandAnja Rabich 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 LippandAnja Rabich 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 RabichandBenjamin Lipp a389e3c222 WIP: lark parser for awk 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
 2025-09-30 17:46:33 +02:00
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
Benjamin LippandAnja Rabich 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 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
Benjamin LippandAnja Rabich 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 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
Karolin VarnerandGitHub 3f2a9bb96b chore(deps): bump tokio from 1.44.2 to 1.46.1 (#679) 2025-07-31 12:22:35 +02:00
Rosenpass CI Bot 8dfa67a2dd Regenerate cargo vet exemptions 2025-07-30 23:45:24 +00:00
dependabot[bot]andGitHub f31d635df8 chore(deps): bump tokio from 1.44.2 to 1.46.1 
Bumps [tokio](https://github.com/tokio-rs/tokio) from 1.44.2 to 1.46.1.
- [Release notes](https://github.com/tokio-rs/tokio/releases)
- [Commits](https://github.com/tokio-rs/tokio/compare/tokio-1.44.2...tokio-1.46.1)

---
updated-dependencies:
- dependency-name: tokio
  dependency-version: 1.46.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2025-07-30 23:44:49 +00:00
Karolin VarnerandGitHub 75702dfc03 chore(deps): bump clap_mangen from 0.2.24 to 0.2.27 (#657) 2025-07-30 16:13:12 +02:00
Rosenpass CI Bot 3af479a27e Regenerate cargo vet exemptions 2025-07-29 15:20:29 +00:00
dependabot[bot]andGitHub e76e5b253f chore(deps): bump clap_mangen from 0.2.24 to 0.2.27 
Dependabot couldn't find the original pull request head commit, 518c533e040c5dd92156f84f8c20cffb9c7eacf6.
 2025-07-29 15:19:47 +00:00