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

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
Missing files Extract & Check proofs #99: Commit 1474c8e pushed by mbbarbosa
August 27, 2024 16:48 2m 51s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:48 2m 51s
Missing file Extract & Check proofs #98: Commit d5372f0 pushed by mbbarbosa
August 27, 2024 16:47 1m 12s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:47 1m 12s
progress Extract & Check proofs #97: Commit 77df273 pushed by mbbarbosa
August 27, 2024 16:41 1m 16s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:41 1m 16s
Next example Extract & Check proofs #96: Commit 05bb9d3 pushed by mbbarbosa
August 27, 2024 15:37 1m 18s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 15:37 1m 18s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Extract & Check proofs #95: Commit ecdbc31 pushed by mbbarbosa
August 25, 2024 21:26 3m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 25, 2024 21:26 3m 14s
close gen_matrix_buf_rejection_h Extract & Check proofs #94: Commit 3929eae pushed by bacelar
August 6, 2024 14:43 1m 28s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 6, 2024 14:43 1m 28s
compiling with current jasmin and eascrypt main Extract & Check proofs #93: Commit f67d60b pushed by mbbarbosa
August 4, 2024 13:04 2m 47s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 4, 2024 13:04 2m 47s