1111 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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 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
Anja Rabich	19ebce79f1	Merge branch 'main' into analyze_py	2025-08-05 16:43:19 +02:00
Karolin Varner	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]	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 Varner	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]	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 Varner	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 Varner	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 Varner	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 Varner	53e6553c8b	fix(rosenpass): Fix the error message if the secret key is invalid (#669)	2025-07-29 14:15:22 +02:00
David Niehues	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 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
Karolin Varner	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
Karolin Varner	91fc50c1e1	Specify WireGuard OSK as a protocol extension & allow for custom OSK domain separators (#664)	2025-07-07 12:05:19 +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
Karolin Varner	b1a7d94295	feat: Support for custom osk (output key) domain separators in Rosenpass app ... This allows for custom protocol extensions with custom domain separators to be used without modifying the Rosenpass source code	2025-06-25 19:48:29 +02:00
Karolin Varner	48b7bb2f14	feat(whitepaper): Introduce protocol extensions & specify WG integration as one	2025-06-25 19:48:29 +02:00
Karolin Varner	77e3682820	chore: Whitespace issues in the whitepaper	2025-06-25 19:48:29 +02:00
Karolin Varner	8bad02bcda	feat: Disallow unknown fields in rosenpass and rp configuration	2025-06-25 19:48:29 +02:00
Karolin Varner	864407f90b	chore: Fix module documentation for app_server	2025-06-25 19:38:51 +02:00
Karolin Varner	4deee59e90	chore: Restructure imports in various places	2025-06-25 19:38:51 +02:00
Karolin Varner	c82ed332f6	Start splitting protocol.rs into multiple files (#655)	2025-06-24 14:50:52 +02:00
Karolin Varner	5ced547a07	chore: PeerIndex split from protocol.rs	2025-06-24 14:01:31 +02:00
Karolin Varner	bdaedc4e2a	chore: CookieStore split from protocol.rs	2025-06-24 14:01:31 +02:00
Karolin Varner	4e77e67f10	chore: Split utils for zerocopy in protocol into own file	2025-06-24 14:01:31 +02:00
Karolin Varner	f33c3a6928	chore: Split protocol testutils into own file	2025-06-24 14:01:31 +02:00
Karolin Varner	348650d507	chore: protocol::test should not import super::*	2025-06-24 14:01:31 +02:00
Karolin Varner	c318cf7bac	chore: Split protocol tests into own file	2025-06-24 14:01:31 +02:00