Skip to content

Actions: GaloisInc/cryptol-specs

Actions

Cryptol typecheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
472 workflow runs
472 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #167 from GaloisInc/delete-1.0-sphincs Cryptol typecheck #554: Commit 774ec5b pushed by mccleeary-galois
October 31, 2024 19:32 1m 24s master
master
October 31, 2024 19:32 1m 24s
Delete broken 1.0 version of SphincsPlus. Cryptol typecheck #553: Pull request #167 opened by mccleeary-galois
October 31, 2024 19:18 1m 34s delete-1.0-sphincs
delete-1.0-sphincs
October 31, 2024 19:18 1m 34s
ML-KEM: Try to clean up the NTT implementations Cryptol typecheck #552: Pull request #156 synchronize by marsella
October 31, 2024 16:58 1m 32s 147-ntt
147-ntt
October 31, 2024 16:58 1m 32s
ML-KEM: Try to clean up the NTT implementations Cryptol typecheck #551: Pull request #156 synchronize by marsella
October 31, 2024 15:32 1m 32s 147-ntt
147-ntt
October 31, 2024 15:32 1m 32s
ML-KEM: Bring encoding functions in line with the spec Cryptol typecheck #550: Pull request #160 synchronize by marsella
October 31, 2024 14:44 1m 35s 144-encoding
144-encoding
October 31, 2024 14:44 1m 35s
ML-KEM: Bring encoding functions in line with the spec Cryptol typecheck #549: Pull request #160 synchronize by marsella
October 29, 2024 19:46 1m 28s 144-encoding
144-encoding
October 29, 2024 19:46 1m 28s
ML-KEM: Improve compression and byte conversion functions Cryptol typecheck #548: Pull request #161 opened by marsella
October 23, 2024 17:40 3m 11s 144-compress
144-compress
October 23, 2024 17:40 3m 11s
Merge pull request #159 from GaloisInc/120-readme-fixes Cryptol typecheck #547: Commit dd86f27 pushed by marsella
October 22, 2024 17:23 1m 33s master
master
October 22, 2024 17:23 1m 33s
Fix broken README links. Cryptol typecheck #546: Pull request #159 synchronize by marsella
October 22, 2024 17:21 1m 28s 120-readme-fixes
120-readme-fixes
October 22, 2024 17:21 1m 28s
Merge pull request #158 from GaloisInc/139-keccakp Cryptol typecheck #545: Commit 2e884ee pushed by marsella
October 22, 2024 17:06 1m 32s master
master
October 22, 2024 17:06 1m 32s
ML-KEM: Bring encoding functions in line with the spec Cryptol typecheck #544: Pull request #160 synchronize by marsella
October 22, 2024 17:03 1m 26s 144-encoding
144-encoding
October 22, 2024 17:03 1m 26s
ML-KEM: Bring encoding functions in line with the spec Cryptol typecheck #543: Pull request #160 synchronize by marsella
October 21, 2024 20:35 1m 36s 144-encoding
144-encoding
October 21, 2024 20:35 1m 36s
ML-KEM: Bring encoding functions in line with the spec Cryptol typecheck #542: Pull request #160 synchronize by marsella
October 21, 2024 20:26 1m 31s 144-encoding
144-encoding
October 21, 2024 20:26 1m 31s
ML-KEM: Bring encoding functions in line with the spec Cryptol typecheck #541: Pull request #160 opened by marsella
October 21, 2024 19:08 1m 32s 144-encoding
144-encoding
October 21, 2024 19:08 1m 32s
Fix broken README links. Cryptol typecheck #540: Pull request #159 opened by nlschimanski
October 18, 2024 20:15 1m 34s 120-readme-fixes
120-readme-fixes
October 18, 2024 20:15 1m 34s
Merge pull request #155 from GaloisInc/146-sampling Cryptol typecheck #539: Commit 54a6b6f pushed by marsella
October 18, 2024 14:51 2m 0s master
master
October 18, 2024 14:51 2m 0s
MLKEM: Bring sampling + crypto functions up to gold standard Cryptol typecheck #538: Pull request #155 synchronize by marsella
October 18, 2024 14:48 1m 31s 146-sampling
146-sampling
October 18, 2024 14:48 1m 31s
SHA3: Add Keccak-p function Cryptol typecheck #537: Pull request #158 opened by marsella
October 17, 2024 20:47 1m 29s 139-keccakp
139-keccakp
October 17, 2024 20:47 1m 29s
Merge pull request #154 from GaloisInc/145-kpke Cryptol typecheck #536: Commit 74cd838 pushed by marsella
October 17, 2024 13:57 1m 36s master
master
October 17, 2024 13:57 1m 36s
ML-KEM: Try to clean up the NTT implementations Cryptol typecheck #535: Pull request #156 opened by marsella
October 16, 2024 18:40 1m 27s 147-ntt
147-ntt
October 16, 2024 18:40 1m 27s
Merge pull request #153 from GaloisInc/138-simplify-flatten Cryptol typecheck #534: Commit db015a3 pushed by marsella
October 16, 2024 16:36 1m 31s master
master
October 16, 2024 16:36 1m 31s
simplify state-to-bit-string conversions in SHA3 Cryptol typecheck #533: Pull request #153 synchronize by marsella
October 16, 2024 16:34 1m 27s 138-simplify-flatten
138-simplify-flatten
October 16, 2024 16:34 1m 27s
Separate + document K-PKE component scheme Cryptol typecheck #532: Pull request #154 synchronize by marsella
October 15, 2024 17:25 1m 53s 145-kpke
145-kpke
October 15, 2024 17:25 1m 53s
MLKEM: Bring sampling + crypto functions up to gold standard Cryptol typecheck #531: Pull request #155 synchronize by marsella
October 15, 2024 15:15 1m 40s 146-sampling
146-sampling
October 15, 2024 15:15 1m 40s
Merge pull request #151 from smithdtyler/patch-1 Cryptol typecheck #530: Commit e9c5305 pushed by marsella
October 15, 2024 14:57 1m 49s master
master
October 15, 2024 14:57 1m 49s