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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pretty much admit free Extract & Check proofs #167: Commit 2ce5124 pushed by mbbarbosa
November 4, 2024 19:09 1m 29s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 19:09 1m 29s
Yes Extract & Check proofs #166: Commit d702a45 pushed by Gustavo2622
November 4, 2024 15:36 1m 29s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 15:36 1m 29s
path for slices Extract & Check proofs #165: Commit 6068dcb pushed by mbbarbosa
November 4, 2024 14:39 1m 17s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 14:39 1m 17s
slicing madness Extract & Check proofs #164: Commit e21494d pushed by mbbarbosa
November 2, 2024 17:13 1m 13s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 17:13 1m 13s
Annoying Extract & Check proofs #163: Commit 8e40414 pushed by mbbarbosa
November 2, 2024 12:32 1m 8s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:32 1m 8s
Annoying Extract & Check proofs #162: Commit f2ef4f2 pushed by mbbarbosa
November 2, 2024 12:23 2m 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:23 2m 57s
Annoying Extract & Check proofs #161: Commit adb01c6 pushed by mbbarbosa
November 2, 2024 12:13 1m 19s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:13 1m 19s
admits only in bindings Extract & Check proofs #160: Commit 3954877 pushed by mbbarbosa
November 2, 2024 00:17 1m 17s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 00:17 1m 17s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse_newcompress10' of… Extract & Check proofs #159: Commit 5288e04 pushed by mbbarbosa
November 1, 2024 19:55 1m 19s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 19:55 1m 19s
Shift binding prototype Extract & Check proofs #158: Commit c100608 pushed by Gustavo2622
November 1, 2024 19:29 1m 41s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 19:29 1m 41s
Ainit bindings proved Extract & Check proofs #157: Commit 2acfe05 pushed by Gustavo2622
November 1, 2024 15:57 1m 16s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 15:57 1m 16s
Removing admits Extract & Check proofs #156: Commit e9ae902 pushed by mbbarbosa
November 1, 2024 13:40 1m 14s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 13:40 1m 14s
rewrites all justified Extract & Check proofs #155: Commit 2181c6f pushed by mbbarbosa
October 31, 2024 16:29 1m 14s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 31, 2024 16:29 1m 14s
Cleaning up Extract & Check proofs #154: Commit 2f6db1f pushed by mbbarbosa
October 31, 2024 11:45 1m 17s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 31, 2024 11:45 1m 17s
Compact proofs Extract & Check proofs #153: Commit 060b8dd pushed by mbbarbosa
October 30, 2024 22:59 1m 40s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 30, 2024 22:59 1m 40s
proof works Extract & Check proofs #152: Commit a922ebc pushed by mbbarbosa
October 28, 2024 17:21 1m 33s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 28, 2024 17:21 1m 33s
Lane func works Extract & Check proofs #151: Commit 51baeca pushed by mbbarbosa
October 27, 2024 18:46 1m 28s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 18:46 1m 28s
Lane func works Extract & Check proofs #150: Commit 09bbe0b pushed by mbbarbosa
October 27, 2024 18:16 1m 25s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 18:16 1m 25s
bugs Extract & Check proofs #149: Commit 3ca5d83 pushed by mbbarbosa
October 27, 2024 14:29 1m 13s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 14:29 1m 13s
bug Extract & Check proofs #148: Commit c3e817e pushed by mbbarbosa
October 27, 2024 10:24 1m 12s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 10:24 1m 12s
bug Extract & Check proofs #147: Commit 4bc1d55 pushed by mbbarbosa
October 27, 2024 10:19 1m 15s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 10:19 1m 15s