Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
558 workflow runs
558 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
slicing madness Check Constant-Time Security #195: Commit e21494d pushed by mbbarbosa
November 2, 2024 17:13 56s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 17:13 56s
Annoying Check Constant-Time Security #194: Commit 8e40414 pushed by mbbarbosa
November 2, 2024 12:32 1m 13s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:32 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 Check Constant-Time Security #193: Commit f2ef4f2 pushed by mbbarbosa
November 2, 2024 12:23 1m 45s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:23 1m 45s
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
Annoying Check Constant-Time Security #192: Commit adb01c6 pushed by mbbarbosa
November 2, 2024 12:13 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 12:13 1m 2s
admits only in bindings Check Constant-Time Security #191: Commit 3954877 pushed by mbbarbosa
November 2, 2024 00:17 56s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 2, 2024 00:17 56s
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
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse_newcompress10' of… Check Constant-Time Security #190: Commit 5288e04 pushed by mbbarbosa
November 1, 2024 19:55 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 19:55 57s
Shift binding prototype Check Constant-Time Security #189: Commit c100608 pushed by Gustavo2622
November 1, 2024 19:29 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 19:29 1m 0s