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

short and tidy Extract & Check proofs #124: Commit 66bb870 pushed by mbbarbosa
October 7, 2024 18:41 1m 26s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 18:41 1m 26s
equivalence magic Extract & Check proofs #123: Commit a01c26d pushed by mbbarbosa
October 7, 2024 17:06 1m 17s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 17:06 1m 17s
Working on circuit equivs Extract & Check proofs #122: Commit 95b45a8 pushed by mbbarbosa
October 7, 2024 12:55 1m 42s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 7, 2024 12:55 1m 42s
Missing ops Extract & Check proofs #121: Commit 303de0f pushed by mbbarbosa
October 6, 2024 12:44 1m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 6, 2024 12:44 1m 14s
miss zeroextu32 Extract & Check proofs #120: Commit e318c0c pushed by mbbarbosa
October 5, 2024 15:24 2m 49s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
October 5, 2024 15:24 2m 49s
fix Makefiles in bench dir Extract & Check proofs #119: Commit 2017160 pushed by bacelar
September 28, 2024 01:38 1m 15s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 01:38 1m 15s
merged mbb+tfa+jba Extract & Check proofs #118: Commit d4168e1 pushed by bacelar
September 28, 2024 00:05 1m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 28, 2024 00:05 1m 14s
mr attempt Extract & Check proofs #117: Commit 218f5ef pushed by mbbarbosa
September 27, 2024 19:00 1m 34s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 19:00 1m 34s
mr equiv Extract & Check proofs #116: Commit 77f6ceb pushed by mbbarbosa
September 27, 2024 18:08 1m 15s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 18:08 1m 15s
pending smts Extract & Check proofs #115: Commit 0a822ad pushed by mbbarbosa
September 27, 2024 17:37 1m 28s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 17:37 1m 28s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Extract & Check proofs #114: Commit 42689a0 pushed by mbbarbosa
September 27, 2024 15:31 1m 17s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 15:31 1m 17s
gen_matrix: fix Extract & Check proofs #113: Commit 867529e pushed by tfaoliveira-sb
September 27, 2024 13:18 1m 20s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 27, 2024 13:18 1m 20s
gen_matrix: fix Extract & Check proofs #112: Commit 5e66acb pushed by tfaoliveira-sb
September 26, 2024 18:30 1m 17s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:30 1m 17s
gen_matrix: fix Extract & Check proofs #111: Commit 64b3cf5 pushed by tfaoliveira-sb
September 26, 2024 18:29 1m 32s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:29 1m 32s
gen_matrix: fix Extract & Check proofs #110: Commit 71a4d15 pushed by tfaoliveira-sb
September 26, 2024 18:16 1m 20s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 18:16 1m 20s
gen_matrix: fix Extract & Check proofs #109: Commit e6d8baa pushed by tfaoliveira-sb
September 26, 2024 16:11 3m 9s mlkem768_avx2_gen_matrix_sct_newparse_master
mlkem768_avx2_gen_matrix_sct_newparse_master
September 26, 2024 16:11 3m 9s
genmatrix mostly done Extract & Check proofs #108: Commit e14926d pushed by bacelar
September 24, 2024 15:25 1m 31s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 24, 2024 15:25 1m 31s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Extract & Check proofs #107: Commit 2378c7a pushed by bacelar
September 23, 2024 13:31 1m 21s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 23, 2024 13:31 1m 21s
Going for equivs Extract & Check proofs #106: Commit 5b7d329 pushed by mbbarbosa
September 20, 2024 17:34 1m 9s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 20, 2024 17:34 1m 9s
Going for equivs Extract & Check proofs #105: Commit a6f35b0 pushed by mbbarbosa
September 20, 2024 17:32 2m 51s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 20, 2024 17:32 2m 51s
finished mr compress proof Extract & Check proofs #104: Commit 26dccbf pushed by mbbarbosa
September 11, 2024 22:09 2m 52s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
September 11, 2024 22:09 2m 52s
Gets ugly when non-aligned Extract & Check proofs #103: Commit 5c518b2 pushed by mbbarbosa
August 28, 2024 17:30 1m 20s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 28, 2024 17:30 1m 20s
Second example, working Extract & Check proofs #102: Commit 8a45ec4 pushed by mbbarbosa
August 27, 2024 23:15 1m 29s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 23:15 1m 29s
stopped further ahead Extract & Check proofs #101: Commit 19ba342 pushed by mbbarbosa
August 27, 2024 17:01 1m 18s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 17:01 1m 18s
Missing files Extract & Check proofs #100: Commit 9809171 pushed by mbbarbosa
August 27, 2024 16:49 2m 50s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:49 2m 50s