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,127 Commits 61 Branches 19 Tags
aa2f037f896b9f0d8f1ca5114640e678828fb0a4
Commit Graph
1127 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Karolin VarnerandGitHub 0d944afbd8 Add another checkout step for the supply-chain action in case of a dependabot PR (#677) 2025-07-29 17:18:03 +02:00
Karolin VarnerandDavid Niehues 8d81be56f3 fix: Re-trigger CI when cargo vet exemptions are regenerated for Dependabot PRs 
Co-authored-by: David Niehues <niehues@utilacy.com>
 2025-07-29 17:16:11 +02:00
Karolin VarnerandGitHub 16b3914c46 Make the CI restart once cargo-vet exemptions for dependabot have been pushed (new iteration (#674) 2025-07-29 15:52:31 +02:00
David Niehues ae060f7cfb fixes to PR 2025-07-29 15:39:23 +02:00
David Niehues afa6212264 fix(CI+dependabot): adapt the supply-chain workflow for cargo-vet to work with dependabot, i.e. regenerating exemptions for dependabot and restart the CI afterwards 2025-07-29 15:22:43 +02:00
David Niehues 3c744c253b fix(CI+dependabot): add instructions on how to set up a repository to work with the supply-chain+dependabot accomodations 2025-07-29 15:22:43 +02:00
Karolin VarnerandGitHub 53e6553c8b fix(rosenpass): Fix the error message if the secret key is invalid (#669) 2025-07-29 14:15:22 +02:00
David NiehuesandKarolin Varner 4cd2cdfcff fix(rosenpass): Fix the error message if the secret key is invalid 2025-07-29 14:14:36 +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 LippandAnja Rabich 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
Karolin VarnerandGitHub 3e03e47935 fix: Regression caused by benchmarks (#670) 2025-07-09 19:20:15 +02:00
Karolin Varner 7003671cde fix: Regression caused by benchmarks 
CI keeps failing for external pull requests as GH's permission
model was not fully accounted for
 2025-07-09 10:08:05 +02:00