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
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Missing files Extract & Check proofs #99: Commit 1474c8e pushed by mbbarbosa
August 27, 2024 16:48 2m 51s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:48 2m 51s
Missing file Extract & Check proofs #98: Commit d5372f0 pushed by mbbarbosa
August 27, 2024 16:47 1m 12s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:47 1m 12s
progress Extract & Check proofs #97: Commit 77df273 pushed by mbbarbosa
August 27, 2024 16:41 1m 16s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 16:41 1m 16s
Next example Extract & Check proofs #96: Commit 05bb9d3 pushed by mbbarbosa
August 27, 2024 15:37 1m 18s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 27, 2024 15:37 1m 18s
Merge branch 'mlkem768_avx2_gen_matrix_sct_newparse' of github.com:fo… Extract & Check proofs #95: Commit ecdbc31 pushed by mbbarbosa
August 25, 2024 21:26 3m 14s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 25, 2024 21:26 3m 14s
close gen_matrix_buf_rejection_h Extract & Check proofs #94: Commit 3929eae pushed by bacelar
August 6, 2024 14:43 1m 28s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 6, 2024 14:43 1m 28s
compiling with current jasmin and eascrypt main Extract & Check proofs #93: Commit f67d60b pushed by mbbarbosa
August 4, 2024 13:04 2m 47s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
August 4, 2024 13:04 2m 47s
test: benchmarking pass Extract & Check proofs #92: Commit a9a1452 pushed by tfaoliveira-sb
July 27, 2024 06:35 2h 22m 23s master
master
July 27, 2024 06:35 2h 22m 23s
testing: mlkem Extract & Check proofs #91: Pull request #47 synchronize by tfaoliveira
July 26, 2024 17:11 2h 24m 17s feature/testing
feature/testing
July 26, 2024 17:11 2h 24m 17s
test: benchmarking pass Extract & Check proofs #90: Commit 6ccc002 pushed by tfaoliveira
July 26, 2024 17:11 2h 22m 52s feature/testing
feature/testing
July 26, 2024 17:11 2h 22m 52s
first map reduce proof Extract & Check proofs #89: Commit c953836 pushed by mbbarbosa
July 26, 2024 14:02 3m 8s mlkem768_avx2_gen_matrix_sct_newparse
mlkem768_avx2_gen_matrix_sct_newparse
July 26, 2024 14:02 3m 8s
testing: mlkem Extract & Check proofs #88: Pull request #47 synchronize by tfaoliveira
July 26, 2024 12:12 2h 21m 0s feature/testing
feature/testing
July 26, 2024 12:12 2h 21m 0s
test: Extract & Check proofs #87: Commit 97d1aae pushed by tfaoliveira
July 26, 2024 12:12 2h 22m 33s feature/testing
feature/testing
July 26, 2024 12:12 2h 22m 33s
testing: mlkem Extract & Check proofs #86: Pull request #47 synchronize by tfaoliveira
July 26, 2024 09:04 2h 19m 17s feature/testing
feature/testing
July 26, 2024 09:04 2h 19m 17s
Revert "tests, temp. disabling other workflows" Extract & Check proofs #85: Commit 3921250 pushed by tfaoliveira
July 26, 2024 09:04 2h 21m 33s feature/testing
feature/testing
July 26, 2024 09:04 2h 21m 33s
testing: mlkem Extract & Check proofs #84: Pull request #47 opened by tfaoliveira-sb
July 26, 2024 06:25 7m 38s feature/testing
feature/testing
July 26, 2024 06:25 7m 38s
testing: mlkem_ref pass Extract & Check proofs #83: Commit 51c9e70 pushed by tfaoliveira
July 26, 2024 06:24 9m 26s feature/testing
feature/testing
July 26, 2024 06:24 9m 26s
Declassify the random seed Extract & Check proofs #82: Commit 6ab1069 pushed by vbgl
July 23, 2024 08:14 2h 21m 32s master
master
July 23, 2024 08:14 2h 21m 32s
MLKEM_avx2_encdec.ec: make some proofs faster Extract & Check proofs #81: Commit bb612de pushed by strub
July 22, 2024 11:10 2h 21m 24s master
master
July 22, 2024 11:10 2h 21m 24s
Update jasmin Extract & Check proofs #80: Pull request #46 synchronize by strub
July 22, 2024 08:48 2h 21m 1s update-jasmin
update-jasmin
July 22, 2024 08:48 2h 21m 1s
MLKEM_avx2_encdec.ec: make some proofs faster Extract & Check proofs #79: Commit 39a8c6e pushed by strub
July 22, 2024 08:48 2h 17m 24s update-jasmin
update-jasmin
July 22, 2024 08:48 2h 17m 24s
Update jasmin Extract & Check proofs #78: Pull request #46 synchronize by strub
July 21, 2024 19:52 2h 23m 4s update-jasmin
update-jasmin
July 21, 2024 19:52 2h 23m 4s
[submodule]: udpate jasmin Extract & Check proofs #77: Commit 52e5adc pushed by strub
July 21, 2024 19:52 2h 31m 53s update-jasmin
update-jasmin
July 21, 2024 19:52 2h 31m 53s
Update jasmin Extract & Check proofs #76: Pull request #46 synchronize by strub
July 21, 2024 19:49 3m 23s update-jasmin
update-jasmin
July 21, 2024 19:49 3m 23s
submodule: update jasmin Extract & Check proofs #75: Commit 56a879c pushed by strub
July 21, 2024 19:49 3m 16s update-jasmin
update-jasmin
July 21, 2024 19:49 3m 16s