update C code to latest

requires #809
cryspen · Feb 13, 2025 · 47752b1 · 47752b1
1 parent f2d6c05
commit 47752b1
Show file tree

Hide file tree

Showing 47 changed files with 3,131 additions and 9,317 deletions.
diff --git a/libcrux-ml-dsa/cg/code_gen.txt b/libcrux-ml-dsa/cg/code_gen.txt
@@ -1,6 +1,6 @@
 This code was generated with the following revisions:
-Charon: 30cab88265206f4fa849736e704983e39a404d96
-Eurydice: b8ea420ccde8db516ced5db9c097d77fa558fb94
-Karamel: 97a06e07e7e423df192c40d5a88bf6c85fd4d278
+Charon: a8f2211d1b95e0462a96382023b164a4116c7ca4
+Eurydice: 60f543ddc60a777138070968daaf7620ec48170d
+Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
 F*: b0961063393215ca65927f017720cb365a193833-dirty
-Libcrux: 15b22d1beea1cc7052b8a68b653b012241724664
+Libcrux: 7819b0dcdc174bd3d8a9d6509e62f79972f75c77
diff --git a/libcrux-ml-dsa/cg/header.txt b/libcrux-ml-dsa/cg/header.txt
@@ -4,9 +4,9 @@
  * SPDX-License-Identifier: MIT or Apache-2.0
  *
  * This code was generated with the following revisions:
- * Charon: 30cab88265206f4fa849736e704983e39a404d96
- * Eurydice: b8ea420ccde8db516ced5db9c097d77fa558fb94
- * Karamel: 97a06e07e7e423df192c40d5a88bf6c85fd4d278
+ * Charon: a8f2211d1b95e0462a96382023b164a4116c7ca4
+ * Eurydice: 60f543ddc60a777138070968daaf7620ec48170d
+ * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: 15b22d1beea1cc7052b8a68b653b012241724664
+ * Libcrux: 7819b0dcdc174bd3d8a9d6509e62f79972f75c77
  */