rosenpass

WIP: awk replacement

#943:Commit 444e782854 pushed by 2gW94

arabich/analyze_py/awk

2025-12-16 23:15:29 +03:00

0s

chore: add script to test ProVerif example files

#934:Commit 2c35c5b4ad pushed by 2gW94

blipp/analyze_py/grammar

2025-12-10 01:47:04 +03:00

0s

feat: WIP awk rewrite

#932:Commit 0a945aa152 pushed by 2gW94

arabich/analyze_py/awk

2025-12-10 01:47:04 +03:00

0s

fix: pterm can resolve to NAT

#925:Commit 6af6fb6b2a pushed by 2gW94

analyze_py

2025-12-04 07:47:02 +03:00

0s

fix: pterm can resolve to NAT

#915:Commit 6af6fb6b2a pushed by 2gW94

blipp/analyze_py/grammar

2025-11-27 07:47:02 +03:00

0s

feat: do not try to reject reserved words

#906:Commit 7b1a62b6bb pushed by 2gW94

analyze_py

2025-11-20 01:47:02 +03:00

0s

stash

#888:Commit c4eea31c5d pushed by 2gW94

dev/karo/api-transports

2025-11-03 22:47:14 +03:00

0s

stash

#878:Commit 3e111fa7ad pushed by 2gW94

dev/karo/api-transports

2025-10-26 16:47:13 +03:00

0s

Regenerate cargo vet exemptions

#876:Commit 1510445c26 pushed by 2gW94

dependabot/github_actions/actions/upload-artifact-5

2025-10-26 10:47:13 +03:00

0s

Regenerate cargo vet exemptions

#874:Commit 77a5e3b700 pushed by 2gW94

dependabot/github_actions/actions/download-artifact-6

2025-10-26 10:47:13 +03:00

0s

stash

#866:Commit 4736c40d84 pushed by 2gW94

dev/karo/api-transports

2025-10-20 22:47:13 +03:00

0s

feat: module declaration, WIP: missing ProVerif option terms

#859:Commit f20fd1acc3 pushed by 2gW94

analyze_py

2025-10-16 04:47:13 +03:00

0s

Regenerate cargo vet exemptions

#857:Commit 1e4316f7f8 pushed by 2gW94

dependabot/github_actions/stefanzweifel/git-auto-commit-action-7

2025-10-15 10:47:13 +03:00

0s

Regenerate cargo vet exemptions

#833:Commit 44e561acf5 pushed by 2gW94

dependabot/cargo/anyhow-1.0.100

2025-09-24 08:20:22 +03:00

0s

chore(deps): bump actions/checkout from 4 to 5 (#700)

#821:Commit 433ff09c43 pushed by 2gW94

main

2025-09-21 20:20:24 +03:00

0s

feat(WIP): integrate marzipan.awk into Python

#815:Commit cb16bd44bb pushed by 2gW94

analyze_py

2025-09-18 02:20:23 +03:00

0s

chore(deps): bump actions/checkout from 4 to 5

#813:Commit 11c055738e pushed by 2gW94

dependabot/github_actions/actions/checkout-5

2025-09-17 20:20:22 +03:00

0s

feat: add preliminary miri support (#699)

#792:Commit 0c48cfb91f pushed by 2gW94

main

2025-09-07 02:20:25 +03:00

0s

feat(whitepaper): Update scientific illustrations to account for Steffen Vogel's reviews

#790:Commit 8bf9ca203e pushed by 2gW94

dev/karo/steffens-fixes

2025-09-07 02:20:25 +03:00

0s

chore: Regenerate cargo vet exemptions

#788:Commit 3f0c71d74b pushed by 2gW94

dev/add-mvp-miri-support

2025-09-07 02:20:25 +03:00

0s

Regenerate cargo vet exemptions

#785:Commit a10b3cdd31 pushed by 2gW94

dependabot/github_actions/actions/checkout-5

2025-09-05 20:20:23 +03:00

0s

Add integration tests (#672)

#774:Commit baa534f2e2 pushed by 2gW94

main

2025-09-05 02:20:23 +03:00

0s

fix(whitepaper): Typos

#772:Commit 9d699fecbe pushed by 2gW94

dev/karo/steffens-fixes

2025-09-05 02:20:23 +03:00

0s

chore: Regenerate cargo vet exemptions

#770:Commit 4ad828552a pushed by 2gW94

dev/add-mvp-miri-support

2025-09-05 02:20:23 +03:00

0s

feat: improve exception handling and error codes + refactor run_proverif

#767:Commit 475f4593f9 pushed by 2gW94

analyze_py

2025-09-04 02:20:22 +03:00

0s

fix: remove TODO via update of assert_tv

#765:Commit 554571e513 pushed by 2gW94

dev/add-mvp-miri-support

2025-09-03 20:20:22 +03:00

0s

feat: add preliminary miri support

#760:Commit 0a44e68e93 pushed by 2gW94

dev/add-mvp-miri-support

2025-09-01 02:20:22 +03:00

0s

fix(whitepaper): Typos

#758:Commit e3065a22b0 pushed by 2gW94

dev/karo/steffens-fixes

2025-08-31 14:20:22 +03:00

0s

fix(docker): Builder runtime image not matching buildtime image

#748:Commit b5ef5842d9 pushed by 2gW94

main

2025-08-31 02:20:23 +03:00

0s

feat: Derandomize the rosenpass protocol by adding testvectors (#604)

#738:Commit c3e8297fa0 pushed by 2gW94

main

2025-08-29 21:30:26 +03:00

0s