Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
596 workflow runs
596 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

filter48 integrated Check Constant-Time Security #208: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:55 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 12:55 1m 2s
filter48 integrated Check Constant-Time Security #207: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:54 58s link_to_bdep_genmatrix
link_to_bdep_genmatrix
December 3, 2024 12:54 58s
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
remove old keccak code stubs Check Constant-Time Security #206: Commit 702e85b pushed by bacelar
December 2, 2024 14:52 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 14:52 1m 2s
add admits to broken proofs Check Constant-Time Security #205: Commit d06f818 pushed by bacelar
December 2, 2024 13:15 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 13:15 1m 4s
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
skeleton for keccak interface Check Constant-Time Security #204: Commit 0504dae pushed by bacelar
November 30, 2024 22:22 58s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 22:22 58s
speeding things up a bit Check Constant-Time Security #203: Commit b4198d1 pushed by mbbarbosa
November 30, 2024 14:25 1m 2s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 14:25 1m 2s
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
pending Check Constant-Time Security #202: Commit 6b9af15 pushed by mbbarbosa
November 29, 2024 13:21 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 29, 2024 13:21 1m 0s
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
merge Check Constant-Time Security #201: Commit 3491684 pushed by mbbarbosa
November 11, 2024 10:22 1m 6s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 10:22 1m 6s
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
added bindings.ec to the repo Check Constant-Time Security #200: Commit be9f212 pushed by bacelar
November 11, 2024 01:48 1m 5s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 01:48 1m 5s
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
WIP Check Constant-Time Security #199: Commit 2a8f5f3 pushed by strub
November 8, 2024 18:23 1m 2s bdep-filter
bdep-filter
November 8, 2024 18:23 1m 2s
pretty much admit free Check Constant-Time Security #198: Commit 2ce5124 pushed by mbbarbosa
November 4, 2024 19:09 1m 5s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 19:09 1m 5s
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 Check Constant-Time Security #197: Commit d702a45 pushed by Gustavo2622
November 4, 2024 15:36 59s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 15:36 59s
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 Check Constant-Time Security #196: Commit 6068dcb pushed by mbbarbosa
November 4, 2024 14:39 5m 16s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 4, 2024 14:39 5m 16s
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