Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
612 workflow runs
612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rewrite Extract & Check proofs #139: Commit 7e8ea02 pushed by mbbarbosa
October 25, 2024 16:28 1m 29s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 16:28 1m 29s
assert Check Constant-Time Security #169: Commit ceef0f9 pushed by mbbarbosa
October 25, 2024 07:53 55s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 07:53 55s
assert Extract & Check proofs #138: Commit ceef0f9 pushed by mbbarbosa
October 25, 2024 07:53 1m 13s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 07:53 1m 13s
Merge Check Constant-Time Security #168: Commit 5909473 pushed by mbbarbosa
October 25, 2024 07:31 59s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 07:31 59s
Merge Extract & Check proofs #137: Commit 5909473 pushed by mbbarbosa
October 25, 2024 07:31 1m 29s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 25, 2024 07:31 1m 29s
Rewrites done Check Constant-Time Security #167: Commit e29fc2d pushed by Gustavo2622
October 24, 2024 19:51 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 19:51 57s
Rewrites done Extract & Check proofs #136: Commit e29fc2d pushed by Gustavo2622
October 24, 2024 19:51 1m 18s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 19:51 1m 18s
Moved to Array Extract & Check proofs #135: Commit 856ac8c pushed by mbbarbosa
October 24, 2024 18:20 1m 31s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 18:20 1m 31s
Moved to Array Check Constant-Time Security #166: Commit 856ac8c pushed by mbbarbosa
October 24, 2024 18:20 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 18:20 1m 2s
Moved to Array Extract & Check proofs #134: Commit e04bd69 pushed by mbbarbosa
October 24, 2024 17:52 1m 20s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 17:52 1m 20s
Moved to Array Check Constant-Time Security #165: Commit e04bd69 pushed by mbbarbosa
October 24, 2024 17:52 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 17:52 1m 2s
Factored out MR goal Extract & Check proofs #133: Commit 19b471c pushed by mbbarbosa
October 24, 2024 16:40 1m 22s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 16:40 1m 22s
Factored out MR goal Check Constant-Time Security #164: Commit 19b471c pushed by mbbarbosa
October 24, 2024 16:40 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 16:40 1m 1s
Factored out MR goal Check Constant-Time Security #163: Commit 5ed7bbe pushed by mbbarbosa
October 24, 2024 16:14 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 16:14 1m 3s
Factored out MR goal Extract & Check proofs #132: Commit 5ed7bbe pushed by mbbarbosa
October 24, 2024 16:14 3m 18s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 24, 2024 16:14 3m 18s
nits Check Constant-Time Security #162: Commit 5f30bf5 pushed by strub
October 19, 2024 08:26 1m 2s bdep-filter
bdep-filter
October 19, 2024 08:26 1m 2s
nits Extract & Check proofs #131: Commit 5f30bf5 pushed by strub
October 19, 2024 08:26 1m 30s bdep-filter
bdep-filter
October 19, 2024 08:26 1m 30s
transition to new keccak Extract & Check proofs #130: Commit 75ac8b8 pushed by bacelar
October 19, 2024 00:37 3m 10s new_keccak
new_keccak
October 19, 2024 00:37 3m 10s
transition to new keccak Check Constant-Time Security #161: Commit 75ac8b8 pushed by bacelar
October 19, 2024 00:37 57s new_keccak
new_keccak
October 19, 2024 00:37 57s
WIP Extract & Check proofs #129: Commit eea475f pushed by strub
October 18, 2024 16:11 2m 54s bdep-filter
bdep-filter
October 18, 2024 16:11 2m 54s
WIP Check Constant-Time Security #160: Commit eea475f pushed by strub
October 18, 2024 16:11 1m 2s bdep-filter
bdep-filter
October 18, 2024 16:11 1m 2s
Partial progress on example Extract & Check proofs #128: Commit 44eda81 pushed by Gustavo2622
October 10, 2024 11:29 3m 16s MLKEM_avx2_equivs_compress
MLKEM_avx2_equivs_compress
October 10, 2024 11:29 3m 16s
Partial progress on example Check Constant-Time Security #159: Commit 44eda81 pushed by Gustavo2622
October 10, 2024 11:29 1m 3s MLKEM_avx2_equivs_compress
MLKEM_avx2_equivs_compress
October 10, 2024 11:29 1m 3s
Proof adapted to new compress Extract & Check proofs #127: Commit 07e47fa pushed by mbbarbosa
October 9, 2024 21:12 1m 30s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 21:12 1m 30s
Proof adapted to new compress Check Constant-Time Security #158: Commit 07e47fa pushed by mbbarbosa
October 9, 2024 21:12 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 9, 2024 21:12 1m 0s