Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

Extract & Check proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extract-and-prove.yml
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: use github docker image Extract & Check proofs #17: Pull request #34 opened by strub
March 16, 2024 07:17 2h 14m 47s github-docker
github-docker
March 16, 2024 07:17 2h 14m 47s
CI: use github docker image Extract & Check proofs #16: Commit 8d74bd4 pushed by strub
March 16, 2024 07:17 2h 13m 8s github-docker
github-docker
March 16, 2024 07:17 2h 13m 8s
Use alt-ergo 2.5 Extract & Check proofs #15: Pull request #33 synchronize by vbgl
March 15, 2024 12:08 2h 22m 7s vbgl:alt-ergo-2.5
vbgl:alt-ergo-2.5
March 15, 2024 12:08 2h 22m 7s
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 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 - 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
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 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 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 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
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
replace keccakf1600 - with significant performance improvements for ref Extract & Check proofs #2: Pull request #24 synchronize by vbgl
February 16, 2024 15:36 2h 14m 57s replace_keccakf
replace_keccakf
February 16, 2024 15:36 2h 14m 57s
Proof Extract & Check proofs #1: Commit e4a0d24 pushed by vbgl
February 16, 2024 15:36 2h 14m 43s replace_keccakf
replace_keccakf
February 16, 2024 15:36 2h 14m 43s