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
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
add admits to broken proofs Extract & Check proofs #174: Commit d06f818 pushed by bacelar
December 2, 2024 13:15 1m 15s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 13:15 1m 15s
skeleton for keccak interface Extract & Check proofs #173: Commit 0504dae pushed by bacelar
November 30, 2024 22:22 1m 20s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 22:22 1m 20s
speeding things up a bit Extract & Check proofs #172: Commit b4198d1 pushed by mbbarbosa
November 30, 2024 14:25 2m 54s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 14:25 2m 54s
pending Extract & Check proofs #171: Commit 6b9af15 pushed by mbbarbosa
November 29, 2024 13:21 2m 55s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 29, 2024 13:21 2m 55s
merge Extract & Check proofs #170: Commit 3491684 pushed by mbbarbosa
November 11, 2024 10:22 1m 16s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 10:22 1m 16s
added bindings.ec to the repo Extract & Check proofs #169: Commit be9f212 pushed by bacelar
November 11, 2024 01:48 1m 42s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 01:48 1m 42s
WIP Extract & Check proofs #168: Commit 2a8f5f3 pushed by strub
November 8, 2024 18:23 3m 13s bdep-filter
bdep-filter
November 8, 2024 18:23 3m 13s