Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
613 workflow runs
613 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Most recent jasmin and jasmin2ec extraction Check Constant-Time Security #244: Commit 600dfe3 pushed by mbbarbosa
February 11, 2025 20:06 56s bdep
bdep
February 11, 2025 20:06 56s
Add first implementation of mlkem-768 for ARM M4 Tests #20: Commit 55508ba pushed by esquivel71
January 24, 2025 16:43 2m 2s mlkem_arm
mlkem_arm
January 24, 2025 16:43 2m 2s
Add first implementation of mlkem-768 for ARM M4 Interpret Jasmin Implementations #53: Commit 55508ba pushed by esquivel71
January 24, 2025 16:43 14m 49s mlkem_arm
mlkem_arm
January 24, 2025 16:43 14m 49s
Add first implementation of mlkem-768 for ARM M4 Check Constant-Time Security #243: Commit 55508ba pushed by esquivel71
January 24, 2025 16:43 1m 3s mlkem_arm
mlkem_arm
January 24, 2025 16:43 1m 3s
Add first implementation of mlkem-768 for ARM M4 Extract & Check proofs #212: Commit 55508ba pushed by esquivel71
January 24, 2025 16:43 2h 16m 39s mlkem_arm
mlkem_arm
January 24, 2025 16:43 2h 16m 39s
test: benchmarking pass Interpret Jasmin Implementations #52: Commit a9a1452 pushed by esquivel71
January 24, 2025 16:18 15m 5s mlkem_arm
mlkem_arm
January 24, 2025 16:18 15m 5s
test: benchmarking pass Tests #19: Commit a9a1452 pushed by esquivel71
January 24, 2025 16:18 2m 0s mlkem_arm
mlkem_arm
January 24, 2025 16:18 2m 0s
test: benchmarking pass Extract & Check proofs #211: Commit a9a1452 pushed by esquivel71
January 24, 2025 16:18 2h 20m 3s mlkem_arm
mlkem_arm
January 24, 2025 16:18 2h 20m 3s
test: benchmarking pass Check Constant-Time Security #242: Commit a9a1452 pushed by esquivel71
January 24, 2025 16:18 1m 3s mlkem_arm
mlkem_arm
January 24, 2025 16:18 1m 3s
link jasmin submodule to a branch with [rigid] flag Check Constant-Time Security #241: Commit 81f4a36 pushed by bacelar
January 24, 2025 09:53 1m 4s bdep
bdep
January 24, 2025 09:53 1m 4s
link jasmin submodule to a branch with [rigid] flag Extract & Check proofs #210: Commit 81f4a36 pushed by bacelar
January 24, 2025 09:53 1m 29s bdep
bdep
January 24, 2025 09:53 1m 29s
change eclib Check Constant-Time Security #240: Commit c688316 pushed by bacelar
January 23, 2025 00:32 55s bdep
bdep
January 23, 2025 00:32 55s
change eclib Extract & Check proofs #209: Commit c688316 pushed by bacelar
January 23, 2025 00:32 1m 15s bdep
bdep
January 23, 2025 00:32 1m 15s
filter24 (bdep) Check Constant-Time Security #239: Commit e18a01a pushed by bacelar
January 22, 2025 16:03 1m 3s bdep
bdep
January 22, 2025 16:03 1m 3s
filter24 (bdep) Extract & Check proofs #208: Commit e18a01a pushed by bacelar
January 22, 2025 16:03 1m 17s bdep
bdep
January 22, 2025 16:03 1m 17s
final touches Extract & Check proofs #207: Commit 9abd13a pushed by bacelar
January 15, 2025 16:12 1m 27s bdep
bdep
January 15, 2025 16:12 1m 27s
final touches Check Constant-Time Security #238: Commit 9abd13a pushed by bacelar
January 15, 2025 16:12 1m 8s bdep
bdep
January 15, 2025 16:12 1m 8s
adjusting line numbering Extract & Check proofs #206: Commit e32d9c3 pushed by bacelar
January 15, 2025 09:48 1m 16s bdep
bdep
January 15, 2025 09:48 1m 16s
adjusting line numbering Check Constant-Time Security #237: Commit e32d9c3 pushed by bacelar
January 15, 2025 09:48 54s bdep
bdep
January 15, 2025 09:48 54s
finished keccak interface for mlkem_ref Extract & Check proofs #205: Commit 27b0aed pushed by bacelar
January 15, 2025 09:24 1m 22s bdep
bdep
January 15, 2025 09:24 1m 22s
finished keccak interface for mlkem_ref Check Constant-Time Security #236: Commit 27b0aed pushed by bacelar
January 15, 2025 09:24 1m 0s bdep
bdep
January 15, 2025 09:24 1m 0s
final fixes Check Constant-Time Security #235: Commit 8adee7f pushed by bacelar
January 13, 2025 16:51 1m 3s bdep
bdep
January 13, 2025 16:51 1m 3s
final fixes Extract & Check proofs #204: Commit 8adee7f pushed by bacelar
January 13, 2025 16:51 1m 16s bdep
bdep
January 13, 2025 16:51 1m 16s
keccak interface almost closed Extract & Check proofs #203: Commit e5db289 pushed by bacelar
January 11, 2025 03:35 1m 15s bdep
bdep
January 11, 2025 03:35 1m 15s
keccak interface almost closed Check Constant-Time Security #234: Commit e5db289 pushed by bacelar
January 11, 2025 03:35 55s bdep
bdep
January 11, 2025 03:35 55s