c code refresh

cryspen · Oct 30, 2024 · 18a089c · 18a089c
1 parent 4b0d787
commit 18a089c
Show file tree

Hide file tree

Showing 45 changed files with 7,156 additions and 7,029 deletions.
diff --git a/libcrux-ml-kem/c/code_gen.txt b/libcrux-ml-kem/c/code_gen.txt
@@ -1,6 +1,6 @@
 This code was generated with the following revisions:
-Charon: 28d543bfacc902ba9cc2a734b76baae9583892a4
-Eurydice: 1a65dbf3758fe310833718c645a64266294a29ac
-Karamel: 15d4bce74a2d43e34a64f48f8311b7d9bcb0e152
-F*: 3063d19312f8ec3af5945f24ed3ebbb6b6cd9678
-Libcrux: a089e8609d2bf2df5c165076a79e3fd30dbf87cf
+Charon: 2b71c3c42337fe17ceca860bedaafb3443e6c5e8
+Eurydice: dcfae68c874635956f71d4c05928841b29ad0a8b
+Karamel: 87384b244a98a0c41a2e14c65b872d885af7c8df
+F*: 8b6fce63ca91b16386d8f76e82ea87a3c109a208
+Libcrux: 4b0d78759e0adf160bab80862883bd5ba7338977