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

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
Ainit bindings proved Check Constant-Time Security #188: Commit 2acfe05 pushed by Gustavo2622
November 1, 2024 15:57 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 15:57 1m 2s
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
Removing admits Check Constant-Time Security #187: Commit e9ae902 pushed by mbbarbosa
November 1, 2024 13:40 1m 2s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 1, 2024 13:40 1m 2s
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
rewrites all justified Check Constant-Time Security #186: Commit 2181c6f pushed by mbbarbosa
October 31, 2024 16:29 58s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 31, 2024 16:29 58s
Cleaning up Check Constant-Time Security #185: Commit 2f6db1f pushed by mbbarbosa
October 31, 2024 11:45 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 31, 2024 11:45 57s
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
Compact proofs Check Constant-Time Security #184: Commit 060b8dd pushed by mbbarbosa
October 30, 2024 22:59 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 30, 2024 22:59 1m 1s
proof works Check Constant-Time Security #183: Commit a922ebc pushed by mbbarbosa
October 28, 2024 17:21 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 28, 2024 17:21 1m 3s
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 Check Constant-Time Security #182: Commit 51baeca pushed by mbbarbosa
October 27, 2024 18:46 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 18:46 1m 3s
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 Check Constant-Time Security #181: Commit 09bbe0b pushed by mbbarbosa
October 27, 2024 18:16 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 18:16 1m 1s
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 Check Constant-Time Security #180: Commit 3ca5d83 pushed by mbbarbosa
October 27, 2024 14:29 1m 6s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 14:29 1m 6s
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 Check Constant-Time Security #179: Commit c3e817e pushed by mbbarbosa
October 27, 2024 10:24 1m 1s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 10:24 1m 1s
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
bug Check Constant-Time Security #178: Commit 4bc1d55 pushed by mbbarbosa
October 27, 2024 10:19 1m 3s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 27, 2024 10:19 1m 3s
Merge remote-tracking branch 'refs/remotes/origin/mlkem768_avx2_gen_m… Check Constant-Time Security #177: Commit a72e61e pushed by Gustavo2622
October 26, 2024 14:12 57s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 26, 2024 14:12 57s
Merge remote-tracking branch 'refs/remotes/origin/mlkem768_avx2_gen_m… Extract & Check proofs #146: Commit a72e61e pushed by Gustavo2622
October 26, 2024 14:12 1m 27s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
October 26, 2024 14:12 1m 27s