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

Use alt-ergo 2.5 Check Constant-Time Security #45: Pull request #33 synchronize by vbgl
March 15, 2024 07:50 56s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 15, 2024 07:50 56s
Use alt-ergo 2.5 Extract & Check proofs #14: Pull request #33 synchronize by vbgl
March 15, 2024 07:50 2h 17m 8s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 15, 2024 07:50 2h 17m 8s
Use alt-ergo 2.5 Extract & Check proofs #13: Pull request #33 synchronize by vbgl
March 14, 2024 11:44 2h 23m 46s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 14, 2024 11:44 2h 23m 46s
Use alt-ergo 2.5 Check Constant-Time Security #44: Pull request #33 synchronize by vbgl
March 14, 2024 11:44 58s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 14, 2024 11:44 58s
Use alt-ergo 2.5 Check Constant-Time Security #43: Pull request #33 opened by vbgl
March 14, 2024 11:38 58s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 14, 2024 11:38 58s
Use alt-ergo 2.5 Extract & Check proofs #12: Pull request #33 opened by vbgl
March 14, 2024 11:38 2h 23m 56s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 14, 2024 11:38 2h 23m 56s
mlkem768 avx2 - updated gen matrix + SCT Extract & Check proofs #11: Pull request #32 opened by tfaoliveira-sb
March 11, 2024 21:42 2m 54s mlkem768_avx2_gen_matrix_sct
mlkem768_avx2_gen_matrix_sct
March 11, 2024 21:42 2m 54s
mlkem768 avx2 - updated gen matrix + SCT Check Constant-Time Security #42: Pull request #32 opened by tfaoliveira-sb
March 11, 2024 21:42 1m 0s mlkem768_avx2_gen_matrix_sct
mlkem768_avx2_gen_matrix_sct
March 11, 2024 21:42 1m 0s
mlkem768 - fix sct Extract & Check proofs #10: Commit 42547e7 pushed by tfaoliveira
March 11, 2024 20:28 2m 51s mlkem768_avx2_gen_matrix_sct
mlkem768_avx2_gen_matrix_sct
March 11, 2024 20:28 2m 51s
mlkem768 - fix sct Check Constant-Time Security #41: Commit 42547e7 pushed by tfaoliveira
March 11, 2024 20:28 56s mlkem768_avx2_gen_matrix_sct
mlkem768_avx2_gen_matrix_sct
March 11, 2024 20:28 56s
keypair: spare a few additions Check Constant-Time Security #40: Pull request #28 synchronize by vbgl
February 29, 2024 07:10 59s vbgl:2024-02-14
vbgl:2024-02-14
February 29, 2024 07:10 59s
keypair: spare a few additions Extract & Check proofs #9: Pull request #28 synchronize by vbgl
February 29, 2024 07:10 2h 14m 14s vbgl:2024-02-14
vbgl:2024-02-14
February 29, 2024 07:10 2h 14m 14s
Prepare for alt-ergo 2.5 (#31) Extract & Check proofs #8: Commit 969870e pushed by bgregoir
February 29, 2024 07:00 2h 13m 57s master
master
February 29, 2024 07:00 2h 13m 57s
Prepare for alt-ergo 2.5 (#31) Check Constant-Time Security #39: Commit 969870e pushed by bgregoir
February 29, 2024 07:00 57s master
master
February 29, 2024 07:00 57s
Prepare for alt-ergo 2.5 (#31) Hakyber #156: Commit 969870e pushed by bgregoir
February 29, 2024 07:00 2h 36m 55s master
master
February 29, 2024 07:00 2h 36m 55s
Prepare for alt-ergo 2.5 Check Constant-Time Security #38: Pull request #31 opened by vbgl
February 26, 2024 06:00 56s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
February 26, 2024 06:00 56s
Prepare for alt-ergo 2.5 Extract & Check proofs #7: Pull request #31 opened by vbgl
February 26, 2024 06:00 2h 13m 38s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
February 26, 2024 06:00 2h 13m 38s
keypair: spare a few additions Check Constant-Time Security #37: Pull request #28 synchronize by vbgl
February 22, 2024 06:22 50s vbgl:2024-02-14
vbgl:2024-02-14
February 22, 2024 06:22 50s
keypair: spare a few additions Extract & Check proofs #6: Pull request #28 synchronize by vbgl
February 22, 2024 06:22 2h 14m 1s vbgl:2024-02-14
vbgl:2024-02-14
February 22, 2024 06:22 2h 14m 1s
replace keccakf1600 - with significant performance improvements for r… Extract & Check proofs #5: Commit 2a441f8 pushed by tfaoliveira
February 21, 2024 22:14 2h 16m 4s master
master
February 21, 2024 22:14 2h 16m 4s
replace keccakf1600 - with significant performance improvements for r… Check Constant-Time Security #36: Commit 2a441f8 pushed by tfaoliveira
February 21, 2024 22:14 1m 2s master
master
February 21, 2024 22:14 1m 2s
replace keccakf1600 - with significant performance improvements for r… Hakyber #155: Commit 2a441f8 pushed by tfaoliveira
February 21, 2024 22:14 2h 36m 7s master
master
February 21, 2024 22:14 2h 36m 7s
replace keccakf1600 - with significant performance improvements for ref Extract & Check proofs #4: Pull request #24 synchronize by vbgl
February 17, 2024 08:52 2h 12m 58s replace_keccakf
replace_keccakf
February 17, 2024 08:52 2h 12m 58s
replace keccakf1600 - with significant performance improvements for ref Check Constant-Time Security #35: Pull request #24 synchronize by vbgl
February 17, 2024 08:52 54s replace_keccakf
replace_keccakf
February 17, 2024 08:52 54s
Tighter loop bounds Extract & Check proofs #3: Commit 82d5ba7 pushed by vbgl
February 17, 2024 08:52 2h 9m 54s replace_keccakf
replace_keccakf
February 17, 2024 08:52 2h 9m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-02-17 or the other filters available.