Skip to content

Actions: spitters/CatCrypt-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
NonUniform: the unbounded loop over a threaded state [no-golf] [no-docs] CI #29: Commit 91410d2 pushed by spitters
5m 53s main
main
5m 53s
Separation: the owned synchronised write gets its own name [no-golf] … CI #28: Commit f22c037 pushed by spitters
9m 15s main
main
9m 15s
docs: move the Verso manual sub-project to the v4.30.0 series [no-gol… CI #27: Commit a53eca4 pushed by spitters
5m 27s main
main
5m 27s
Cryptobox PKAE game gets its own namespace CI #26: Commit 11f740e pushed by spitters
5m 38s main
main
5m 38s
Migrate OT (Naor-Pinkas oblivious transfer) into core [no-golf] [no-d… CI #25: Commit 4572121 pushed by spitters
4m 43s main
main
4m 43s
Cryptobox: golf Scheme/PKEY/GameHopping (-11 tactic-units) [golfed] [… CI #24: Commit 38ab30e pushed by spitters
5m 37s main
main
5m 37s
Migrate the Commitments cluster into core: Pedersen + KZG [no-golf] [… CI #23: Commit 353cbb1 pushed by spitters
4m 50s main
main
4m 50s
Migrate the UC-DSL chain + AGM into core [no-golf] [no-docs] CI #22: Commit 2d075a5 pushed by spitters
5m 11s main
main
5m 11s
Migrate the Cryptobox cluster into core [no-golf] [no-docs] CI #21: Commit ff8cf80 pushed by spitters
5m 13s main
main
5m 13s
Migrate the PKE multi-instance cluster into core [no-golf] [no-docs] CI #20: Commit 7b4b8ac pushed by spitters
5m 5s main
main
5m 5s
Migrate golfed Examples into core: Sigma, DeepHybrid, PRFMAC, PRFPRG … CI #19: Commit 0f7e807 pushed by spitters
4m 50s main
main
4m 50s
Migrate the EasyCrypt/SSProve methodology roots into core [no-golf] [… CI #18: Commit 9babc3c pushed by spitters
5m 25s main
main
5m 25s
Add worked proofs and reusable machinery (post-alpha batch) CI #17: Commit 57d4255 pushed by spitters
51m 28s main
main
51m 28s
ci(docs): trigger only on release + manual, not every push (was burni… CI #16: Commit 0ece3c6 pushed by spitters
4m 45s main
main
4m 45s
CatCrypt Core — initial public release (0.1.0-alpha.1) docs #9: Commit f4558a1 pushed by spitters
11m 10s main
main
11m 10s
CatCrypt Core — initial public release (0.1.0-alpha.1) CI #15: Commit f4558a1 pushed by spitters
4m 32s main
main
4m 32s
docs: shorten API-reference line to a doc-gen4 link [no-golf] docs #8: Commit 23bce47 pushed by spitters
1h 20m 46s main
main
1h 20m 46s
docs: shorten API-reference line to a doc-gen4 link [no-golf] CI #14: Commit 23bce47 pushed by spitters
8m 6s main
main
8m 6s
docs: accurate hax-lean description (partially verified hax; Rust to … docs #7: Commit 63b020e pushed by spitters
1m 59s main
main
1m 59s
docs: accurate hax-lean description (partially verified hax; Rust to … CI #13: Commit 63b020e pushed by spitters
8m 33s main
main
8m 33s
docs: add Related projects section (hax-lean) [no-golf] docs #6: Commit b326649 pushed by spitters
7m 25s main
main
7m 25s
docs: add Related projects section (hax-lean) [no-golf] CI #12: Commit b326649 pushed by spitters
8m 37s main
main
8m 37s
docs: keep VCVio/ArkLib out of README; move build instructions to BUI… docs #5: Commit 9e8e2a1 pushed by spitters
7m 38s main
main
7m 38s
docs: keep VCVio/ArkLib out of README; move build instructions to BUI… CI #11: Commit 9e8e2a1 pushed by spitters
8m 13s main
main
8m 13s
docs: clarity/concision pass on DESIGN (active voice, front subjects,… CI #10: Commit 1a6efd1 pushed by spitters
8m 8s main
main
8m 8s