Kamal Tufekcic
|
4691beb4af
|
version bumps across the board
CI / lint (push) Successful in 1m34s
CI / test-python (push) Successful in 1m45s
CI / test-zig (push) Successful in 1m36s
CI / test-wasm (push) Successful in 1m51s
CI / test (push) Successful in 14m54s
CI / miri (push) Successful in 14m3s
CI / build (push) Successful in 1m16s
CI / fuzz-regression (push) Successful in 8m55s
CI / publish-python (push) Successful in 1m48s
CI / publish (push) Successful in 1m53s
CI / publish-wasm (push) Successful in 1m59s
v0.1.2
Signed-off-by: Kamal Tufekcic <kamal@lo.sh>
|
2026-04-23 08:35:04 +03:00 |
|
Kamal Tufekcic
|
793b00ff4b
|
Add paper, more minor doc updates
CI / lint (push) Successful in 1m37s
CI / test-python (push) Successful in 1m45s
CI / test-zig (push) Successful in 1m37s
CI / test-wasm (push) Successful in 1m52s
CI / test (push) Successful in 13m50s
CI / miri (push) Successful in 13m48s
CI / build (push) Successful in 1m10s
CI / fuzz-regression (push) Successful in 9m16s
CI / publish (push) Failing after 55s
CI / publish-python (push) Failing after 1m40s
CI / publish-wasm (push) Failing after 1m49s
Signed-off-by: Kamal Tufekcic <kamal@lo.sh>
|
2026-04-23 08:03:02 +03:00 |
|
Kamal Tufekcic
|
e6d0a1ef1a
|
CryptoVerif and Tamarin models, minor doc updates
Signed-off-by: Kamal Tufekcic <kamal@lo.sh>
|
2026-04-13 01:51:32 +03:00 |
|
Kamal Tufekcic
|
18af877ef0
|
initial commit
CI / lint (push) Successful in 1m35s
CI / test-python (push) Successful in 1m46s
CI / test-zig (push) Successful in 1m37s
CI / test-wasm (push) Successful in 1m52s
CI / test (push) Successful in 14m22s
CI / miri (push) Successful in 13m57s
CI / build (push) Successful in 1m6s
CI / fuzz-regression (push) Successful in 9m4s
CI / publish-python (push) Successful in 1m46s
CI / publish (push) Successful in 1m52s
CI / publish-wasm (push) Successful in 1m55s
v0.1.1
Signed-off-by: Kamal Tufekcic <kamal@lo.sh>
|
2026-04-03 22:42:26 +03:00 |
|
Kamal Tufekcic
|
4840868b24
|
initial commit
CI / lint (push) Successful in 1m34s
CI / test-python (push) Successful in 1m46s
CI / test-zig (push) Successful in 1m37s
CI / test-wasm (push) Successful in 1m52s
CI / test (push) Successful in 14m16s
CI / miri (push) Successful in 14m9s
CI / build (push) Successful in 1m7s
CI / fuzz-regression (push) Successful in 9m20s
CI / publish-python (push) Successful in 1m47s
CI / publish (push) Successful in 1m53s
CI / publish-wasm (push) Failing after 1m53s
v0.1.0
Signed-off-by: Kamal Tufekcic <kamal@lo.sh>
|
2026-04-03 21:58:14 +03:00 |
|
Kamal Tufekcic
|
1d99048c95
|
initial commit
CI / lint (push) Successful in 1m37s
CI / test-python (push) Successful in 1m49s
CI / test-zig (push) Successful in 1m39s
CI / test-wasm (push) Successful in 1m54s
CI / test (push) Successful in 14m44s
CI / miri (push) Successful in 14m18s
CI / build (push) Successful in 1m9s
CI / fuzz-regression (push) Successful in 9m9s
CI / publish (push) Failing after 1m10s
CI / publish-python (push) Failing after 1m46s
CI / publish-wasm (push) Has been cancelled
Signed-off-by: Kamal Tufekcic <kamal@lo.sh>
|
2026-04-02 23:48:10 +03:00 |
|