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

fixed broken proofs from last EC bdep merge Extract & Check proofs #225: Commit ef60df5 pushed by mbbarbosa
February 24, 2025 20:32 1m 20s bdep
bdep
February 24, 2025 20:32 1m 20s
No admits Extract & Check proofs #224: Commit eb3f16c pushed by mbbarbosa
February 18, 2025 21:06 1m 17s bdep
bdep
February 18, 2025 21:06 1m 17s
fix return types Extract & Check proofs #223: Commit 0d27b59 pushed by bacelar
February 18, 2025 16:55 1m 9s bdep
bdep
February 18, 2025 16:55 1m 9s
correct some return types Extract & Check proofs #222: Commit 7a22f64 pushed by bacelar
February 18, 2025 16:46 1m 16s bdep
bdep
February 18, 2025 16:46 1m 16s
merged filter24 proofs Extract & Check proofs #221: Commit fdb4f34 pushed by bacelar
February 18, 2025 01:16 1m 13s bdep
bdep
February 18, 2025 01:16 1m 13s
progress Extract & Check proofs #220: Commit e5a489b pushed by mbbarbosa
February 18, 2025 00:05 1m 15s bdep
bdep
February 18, 2025 00:05 1m 15s
progress Extract & Check proofs #219: Commit 840aee3 pushed by mbbarbosa
February 17, 2025 23:15 1m 13s bdep
bdep
February 17, 2025 23:15 1m 13s
some progress Extract & Check proofs #218: Commit fa025f4 pushed by mbbarbosa
February 17, 2025 21:40 1m 30s bdep
bdep
February 17, 2025 21:40 1m 30s
jasmin submodule follows main branch Extract & Check proofs #217: Commit ae08082 pushed by bacelar
February 12, 2025 16:20 1m 36s bdep
bdep
February 12, 2025 16:20 1m 36s
fixed error Extract & Check proofs #216: Commit ab37ff5 pushed by mbbarbosa
February 12, 2025 15:56 1m 43s bdep
bdep
February 12, 2025 15:56 1m 43s
write safe Extract & Check proofs #215: Commit 2bafe2d pushed by mbbarbosa
February 12, 2025 14:38 1m 15s bdep
bdep
February 12, 2025 14:38 1m 15s
only the write 128 safe function to go Extract & Check proofs #214: Commit 08821e6 pushed by mbbarbosa
February 12, 2025 14:38 1m 17s bdep
bdep
February 12, 2025 14:38 1m 17s
Most recent jasmin and jasmin2ec extraction Extract & Check proofs #213: Commit 600dfe3 pushed by mbbarbosa
February 11, 2025 20:06 2m 53s bdep
bdep
February 11, 2025 20:06 2m 53s
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 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
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 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) 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
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
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
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
upd Extract & Check proofs #201: Commit abd148c pushed by bacelar
January 9, 2025 10:36 1m 19s bdep
bdep
January 9, 2025 10:36 1m 19s
upd Extract & Check proofs #200: Commit 9c55b72 pushed by bacelar
January 8, 2025 12:32 1m 24s bdep
bdep
January 8, 2025 12:32 1m 24s