Merge pull request #483 from cryspen/ml-kem-spec-cca

ML-KEM CCA Spec Link
cryspen · Aug 13, 2024 · cd1a41c · cd1a41c
2 parents 04383d3 + 6762545
commit cd1a41c
Show file tree

Hide file tree

Showing 69 changed files with 2,115 additions and 1,515 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/libcrux-ml-kem/c/code_gen.txt b/libcrux-ml-kem/c/code_gen.txt
@@ -3,4 +3,4 @@ Charon: 3f6d1c304e0e5bef1e9e2ea65aec703661b05f39
 Eurydice: 392674166bac86e60f5fffa861181a398fdc3896
 Karamel: fc56fce6a58754766809845f88fc62063b2c6b92
 F*: 3ed3c98d39ce028c31c5908a38bc68ad5098f563
-Libcrux: aa91a6764bde8c1f15107a03746f506e99a9159b
+Libcrux: 532179755ebf8a52897604eaa5ce673b354c2c59