update files generated by boring.sh

cryspen · Feb 19, 2025 · 151b2a3 · 151b2a3
1 parent 9c1a94c
commit 151b2a3
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git a/libcrux-ml-kem/cg/code_gen.txt b/libcrux-ml-kem/cg/code_gen.txt
@@ -3,4 +3,4 @@ Charon: a8f2211d1b95e0462a96382023b164a4116c7ca4
 Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
 Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
 F*: b0961063393215ca65927f017720cb365a193833-dirty
-Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
diff --git a/libcrux-ml-kem/cg/header.txt b/libcrux-ml-kem/cg/header.txt
@@ -8,5 +8,5 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
diff --git a/libcrux-ml-kem/cg/libcrux_core.h b/libcrux-ml-kem/cg/libcrux_core.h
@@ -8,7 +8,7 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
 
 #ifndef __libcrux_core_H

diff --git a/libcrux-ml-kem/cg/libcrux_ct_ops.h b/libcrux-ml-kem/cg/libcrux_ct_ops.h
@@ -8,7 +8,7 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
 
 #ifndef __libcrux_ct_ops_H

diff --git a/libcrux-ml-kem/cg/libcrux_mlkem768_avx2.h b/libcrux-ml-kem/cg/libcrux_mlkem768_avx2.h
@@ -8,7 +8,7 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
 
 #ifndef __libcrux_mlkem768_avx2_H

diff --git a/libcrux-ml-kem/cg/libcrux_mlkem768_portable.h b/libcrux-ml-kem/cg/libcrux_mlkem768_portable.h
@@ -8,7 +8,7 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
 
 #ifndef __libcrux_mlkem768_portable_H

diff --git a/libcrux-ml-kem/cg/libcrux_sha3_avx2.h b/libcrux-ml-kem/cg/libcrux_sha3_avx2.h
@@ -8,7 +8,7 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
 
 #ifndef __libcrux_sha3_avx2_H

diff --git a/libcrux-ml-kem/cg/libcrux_sha3_portable.h b/libcrux-ml-kem/cg/libcrux_sha3_portable.h
@@ -8,7 +8,7 @@
  * Eurydice: 788c5abefac3a9c7f79abae6a30fa8558e39764c
  * Karamel: 1d81d757d5d9e16dd6463ccc72324e587c707959
  * F*: b0961063393215ca65927f017720cb365a193833-dirty
- * Libcrux: be1ee9eee9c5e385ffefb599172916693f68c923
+ * Libcrux: 9c1a94cc0033213044821f5cffe1a3842dc859a1
  */
 
 #ifndef __libcrux_sha3_portable_H