Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

Extract & Check proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extract-and-prove.yml
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make submodule jasmin track fix-eclib-avx2-shifts (which fixes the se… Extract & Check proofs #199: Commit d023643 pushed by bacelar
January 6, 2025 17:59 3m 10s bdep
bdep
January 6, 2025 17:59 3m 10s
progressing Extract & Check proofs #198: Commit 284736c pushed by mbbarbosa
December 22, 2024 13:00 1m 10s wait_for_new_keccak
wait_for_new_keccak
December 22, 2024 13:00 1m 10s
stack proof done. Extract & Check proofs #197: Commit d2820cc pushed by mbbarbosa
December 22, 2024 13:00 1m 13s wait_for_new_keccak
wait_for_new_keccak
December 22, 2024 13:00 1m 13s
progressing Extract & Check proofs #196: Commit 4e28880 pushed by mbbarbosa
December 22, 2024 01:33 1m 19s wait_for_new_keccak
wait_for_new_keccak
December 22, 2024 01:33 1m 19s
last level of stack proof Extract & Check proofs #195: Commit 2f3508c pushed by mbbarbosa
December 21, 2024 10:34 1m 15s wait_for_new_keccak
wait_for_new_keccak
December 21, 2024 10:34 1m 15s
Merge branch 'wait_for_new_keccak' of github.com:formosa-crypto/formo… Extract & Check proofs #194: Commit bf85cc7 pushed by mbbarbosa
December 20, 2024 00:08 1m 33s wait_for_new_keccak
wait_for_new_keccak
December 20, 2024 00:08 1m 33s
refine some smt()s Extract & Check proofs #193: Commit a9671d8 pushed by bacelar
December 19, 2024 23:01 1m 28s wait_for_new_keccak
wait_for_new_keccak
December 19, 2024 23:01 1m 28s
Merge branch 'wait_for_new_keccak' of github.com:formosa-crypto/formo… Extract & Check proofs #192: Commit 9b32cec pushed by bacelar
December 19, 2024 01:13 1m 13s wait_for_new_keccak
wait_for_new_keccak
December 19, 2024 01:13 1m 13s
pending Extract & Check proofs #191: Commit 2c80d37 pushed by mbbarbosa
December 18, 2024 09:36 1m 14s wait_for_new_keccak
wait_for_new_keccak
December 18, 2024 09:36 1m 14s
fix specs Extract & Check proofs #190: Commit c60282f pushed by bacelar
December 17, 2024 17:24 1m 19s wait_for_new_keccak
wait_for_new_keccak
December 17, 2024 17:24 1m 19s
stack KEM level done Extract & Check proofs #189: Commit a805644 pushed by mbbarbosa
December 11, 2024 20:46 1m 16s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 20:46 1m 16s
pending Extract & Check proofs #188: Commit 54e7069 pushed by mbbarbosa
December 11, 2024 17:59 3m 9s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 17:59 3m 9s
recovered proof; only shake related admits remaning Extract & Check proofs #187: Commit 32207bb pushed by mbbarbosa
December 7, 2024 20:40 13s wait_for_new_keccak
wait_for_new_keccak
December 7, 2024 20:40 13s
correctness claim for stack variant Extract & Check proofs #186: Commit 715d3b4 pushed by mbbarbosa
December 6, 2024 16:39 12s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 16:39 12s
extraction Extract & Check proofs #185: Commit e56e947 pushed by mbbarbosa
December 6, 2024 15:04 20s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:04 20s
avx2 stack extraction Extract & Check proofs #184: Commit 5e0e60b pushed by mbbarbosa
December 6, 2024 15:02 14s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:02 14s
cleanup Extract & Check proofs #183: Commit 6a88649 pushed by mbbarbosa
December 6, 2024 15:01 20s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:01 20s
stack variant Extract & Check proofs #182: Commit 4eee56d pushed by mbbarbosa
December 6, 2024 14:41 16s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 14:41 16s
cleanup done; domain separation done Extract & Check proofs #181: Commit dfb40c5 pushed by mbbarbosa
December 6, 2024 13:21 20s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 13:21 20s
spurious instruction Extract & Check proofs #180: Commit 3e7394e pushed by mbbarbosa
December 4, 2024 13:44 20s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 13:44 20s
cleaning up: Extract & Check proofs #179: Commit 4290e12 pushed by mbbarbosa
December 4, 2024 00:34 14s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 00:34 14s
cleaning up Extract & Check proofs #178: Commit 57c568e pushed by mbbarbosa
December 3, 2024 19:16 1m 19s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 19:16 1m 19s
filter48 integrated Extract & Check proofs #177: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:55 1m 13s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 12:55 1m 13s
filter48 integrated Extract & Check proofs #176: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:54 2m 53s link_to_bdep_genmatrix
link_to_bdep_genmatrix
December 3, 2024 12:54 2m 53s
remove old keccak code stubs Extract & Check proofs #175: Commit 702e85b pushed by bacelar
December 2, 2024 14:52 1m 18s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 14:52 1m 18s