refreshed c code from avx2 machine

cryspen · Jun 27, 2024 · e6b6397 · e6b6397
1 parent a844017
commit e6b6397
Show file tree

Hide file tree

Showing 34 changed files with 2,923 additions and 3,096 deletions.
diff --git a/libcrux-ml-kem/c/code_gen.txt b/libcrux-ml-kem/c/code_gen.txt
@@ -1,5 +1,5 @@
 This code was generated with the following tools:
 Charon: ae55966c01a1a4b185a1a34da7861ba5db74c8ad
 Eurydice: bbfd102bbfbc3e4c362953f093dbfd65e2fbc10c
-Karamel: 018dcd1d71f37472c517822aa6bd275263a6dcaa
-F*: 0e2a116da266fbe1dbb81b414002d0afac6819b3
+Karamel: 42a431696cd32d41155d7e484720eb71fd5dc7b1
+F*: f09228ef9a64ac4ef383ee0e10656ccb612db2ee
diff --git a/libcrux-ml-kem/c/internal/libcrux_core.h b/libcrux-ml-kem/c/internal/libcrux_core.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __internal_libcrux_core_H
@@ -23,7 +23,7 @@ extern core_fmt_Arguments core_fmt__core__fmt__Arguments__a__2__new_v1(
 
 #define CORE_NUM__U32_8__BITS (32U)
 
-static inline uint32_t core_num__u32_8__from_le_bytes(uint8_t x0[4U]);
+static inline uint32_t core_num__u8_6__count_ones(uint8_t x0);
 
 #define LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE ((size_t)32U)
 
@@ -177,6 +177,45 @@ void libcrux_ml_kem_utils_into_padded_array___800size_t(Eurydice_slice slice,
 void libcrux_ml_kem_utils_into_padded_array___64size_t(Eurydice_slice slice,
                                                        uint8_t ret[64U]);
 
+typedef struct
+    core_result_Result__uint8_t_24size_t__core_array_TryFromSliceError_s {
+  core_result_Result__uint8_t_32size_t__core_array_TryFromSliceError_tags tag;
+  union {
+    uint8_t case_Ok[24U];
+    core_array_TryFromSliceError case_Err;
+  } val;
+} core_result_Result__uint8_t_24size_t__core_array_TryFromSliceError;
+
+void core_result__core__result__Result_T__E___unwrap__uint8_t_24size_t__core_array_TryFromSliceError(
+    core_result_Result__uint8_t_24size_t__core_array_TryFromSliceError self,
+    uint8_t ret[24U]);
+
+typedef struct
+    core_result_Result__uint8_t_20size_t__core_array_TryFromSliceError_s {
+  core_result_Result__uint8_t_32size_t__core_array_TryFromSliceError_tags tag;
+  union {
+    uint8_t case_Ok[20U];
+    core_array_TryFromSliceError case_Err;
+  } val;
+} core_result_Result__uint8_t_20size_t__core_array_TryFromSliceError;
+
+void core_result__core__result__Result_T__E___unwrap__uint8_t_20size_t__core_array_TryFromSliceError(
+    core_result_Result__uint8_t_20size_t__core_array_TryFromSliceError self,
+    uint8_t ret[20U]);
+
+typedef struct
+    core_result_Result__uint8_t_10size_t__core_array_TryFromSliceError_s {
+  core_result_Result__uint8_t_32size_t__core_array_TryFromSliceError_tags tag;
+  union {
+    uint8_t case_Ok[10U];
+    core_array_TryFromSliceError case_Err;
+  } val;
+} core_result_Result__uint8_t_10size_t__core_array_TryFromSliceError;
+
+void core_result__core__result__Result_T__E___unwrap__uint8_t_10size_t__core_array_TryFromSliceError(
+    core_result_Result__uint8_t_10size_t__core_array_TryFromSliceError self,
+    uint8_t ret[10U]);
+
 typedef struct core_option_Option__Eurydice_slice_uint8_t_s {
   core_option_Option__size_t_tags tag;
   Eurydice_slice f0;
@@ -196,10 +235,10 @@ void core_result__core__result__Result_T__E___unwrap__int16_t_16size_t__core_arr
     int16_t ret[16U]);
 
 typedef struct
-    K___Eurydice_slice_uint8_t_2size_t__Eurydice_slice_uint8_t_2size_t__s {
-  Eurydice_slice fst[2U];
-  Eurydice_slice snd[2U];
-} K___Eurydice_slice_uint8_t_2size_t__Eurydice_slice_uint8_t_2size_t_;
+    K___Eurydice_slice_uint8_t_4size_t__Eurydice_slice_uint8_t_4size_t__s {
+  Eurydice_slice fst[4U];
+  Eurydice_slice snd[4U];
+} K___Eurydice_slice_uint8_t_4size_t__Eurydice_slice_uint8_t_4size_t_;
 
 #if defined(__cplusplus)
 }

diff --git a/libcrux-ml-kem/c/internal/libcrux_mlkem_avx2.h b/libcrux-ml-kem/c/internal/libcrux_mlkem_avx2.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __internal_libcrux_mlkem_avx2_H

diff --git a/libcrux-ml-kem/c/internal/libcrux_mlkem_portable.h b/libcrux-ml-kem/c/internal/libcrux_mlkem_portable.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __internal_libcrux_mlkem_portable_H

diff --git a/libcrux-ml-kem/c/internal/libcrux_sha3_avx2.h b/libcrux-ml-kem/c/internal/libcrux_sha3_avx2.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __internal_libcrux_sha3_avx2_H

diff --git a/libcrux-ml-kem/c/internal/libcrux_sha3_internal.h b/libcrux-ml-kem/c/internal/libcrux_sha3_internal.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __internal_libcrux_sha3_internal_H

diff --git a/libcrux-ml-kem/c/libcrux_core.c b/libcrux-ml-kem/c/libcrux_core.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "internal/libcrux_core.h"
@@ -338,6 +338,48 @@ void libcrux_ml_kem_utils_into_padded_array___64size_t(Eurydice_slice slice,
   memcpy(ret, out, (size_t)64U * sizeof(uint8_t));
 }
 
+void core_result__core__result__Result_T__E___unwrap__uint8_t_24size_t__core_array_TryFromSliceError(
+    core_result_Result__uint8_t_24size_t__core_array_TryFromSliceError self,
+    uint8_t ret[24U]) {
+  if (self.tag == core_result_Ok) {
+    uint8_t f0[24U];
+    memcpy(f0, self.val.case_Ok, (size_t)24U * sizeof(uint8_t));
+    memcpy(ret, f0, (size_t)24U * sizeof(uint8_t));
+  } else {
+    KRML_HOST_EPRINTF("KaRaMeL abort at %s:%d\n%s\n", __FILE__, __LINE__,
+                      "unwrap not Ok");
+    KRML_HOST_EXIT(255U);
+  }
+}
+
+void core_result__core__result__Result_T__E___unwrap__uint8_t_20size_t__core_array_TryFromSliceError(
+    core_result_Result__uint8_t_20size_t__core_array_TryFromSliceError self,
+    uint8_t ret[20U]) {
+  if (self.tag == core_result_Ok) {
+    uint8_t f0[20U];
+    memcpy(f0, self.val.case_Ok, (size_t)20U * sizeof(uint8_t));
+    memcpy(ret, f0, (size_t)20U * sizeof(uint8_t));
+  } else {
+    KRML_HOST_EPRINTF("KaRaMeL abort at %s:%d\n%s\n", __FILE__, __LINE__,
+                      "unwrap not Ok");
+    KRML_HOST_EXIT(255U);
+  }
+}
+
+void core_result__core__result__Result_T__E___unwrap__uint8_t_10size_t__core_array_TryFromSliceError(
+    core_result_Result__uint8_t_10size_t__core_array_TryFromSliceError self,
+    uint8_t ret[10U]) {
+  if (self.tag == core_result_Ok) {
+    uint8_t f0[10U];
+    memcpy(f0, self.val.case_Ok, (size_t)10U * sizeof(uint8_t));
+    memcpy(ret, f0, (size_t)10U * sizeof(uint8_t));
+  } else {
+    KRML_HOST_EPRINTF("KaRaMeL abort at %s:%d\n%s\n", __FILE__, __LINE__,
+                      "unwrap not Ok");
+    KRML_HOST_EXIT(255U);
+  }
+}
+
 void core_result__core__result__Result_T__E___unwrap__int16_t_16size_t__core_array_TryFromSliceError(
     core_result_Result__int16_t_16size_t__core_array_TryFromSliceError self,
     int16_t ret[16U]) {

diff --git a/libcrux-ml-kem/c/libcrux_core.h b/libcrux-ml-kem/c/libcrux_core.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_core_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem1024.h b/libcrux-ml-kem/c/libcrux_mlkem1024.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem1024_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem1024_avx2.c b/libcrux-ml-kem/c/libcrux_mlkem1024_avx2.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "libcrux_mlkem1024_avx2.h"

diff --git a/libcrux-ml-kem/c/libcrux_mlkem1024_avx2.h b/libcrux-ml-kem/c/libcrux_mlkem1024_avx2.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem1024_avx2_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem1024_portable.c b/libcrux-ml-kem/c/libcrux_mlkem1024_portable.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "libcrux_mlkem1024_portable.h"

diff --git a/libcrux-ml-kem/c/libcrux_mlkem1024_portable.h b/libcrux-ml-kem/c/libcrux_mlkem1024_portable.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem1024_portable_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem512.h b/libcrux-ml-kem/c/libcrux_mlkem512.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem512_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem512_avx2.c b/libcrux-ml-kem/c/libcrux_mlkem512_avx2.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "libcrux_mlkem512_avx2.h"

diff --git a/libcrux-ml-kem/c/libcrux_mlkem512_avx2.h b/libcrux-ml-kem/c/libcrux_mlkem512_avx2.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem512_avx2_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem512_portable.c b/libcrux-ml-kem/c/libcrux_mlkem512_portable.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "libcrux_mlkem512_portable.h"

diff --git a/libcrux-ml-kem/c/libcrux_mlkem512_portable.h b/libcrux-ml-kem/c/libcrux_mlkem512_portable.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem512_portable_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem768.h b/libcrux-ml-kem/c/libcrux_mlkem768.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem768_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem768_avx2.c b/libcrux-ml-kem/c/libcrux_mlkem768_avx2.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "libcrux_mlkem768_avx2.h"

diff --git a/libcrux-ml-kem/c/libcrux_mlkem768_avx2.h b/libcrux-ml-kem/c/libcrux_mlkem768_avx2.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /home/franziskus/eurydice//eurydice --config ../c.yaml
-  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: <unknown>
-  KaRaMeL version: 409fe455
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem768_avx2_H

diff --git a/libcrux-ml-kem/c/libcrux_mlkem768_portable.c b/libcrux-ml-kem/c/libcrux_mlkem768_portable.c
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #include "libcrux_mlkem768_portable.h"

diff --git a/libcrux-ml-kem/c/libcrux_mlkem768_portable.h b/libcrux-ml-kem/c/libcrux_mlkem768_portable.h
@@ -1,8 +1,8 @@
 /*
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
-  KaRaMeL invocation: /Users/bhargava/Desktop/repositories/eurydice/eurydice
-  --config ../c.yaml ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F*
-  version: 0e2a116d KaRaMeL version: 018dcd1d
+  KaRaMeL invocation: /home/karthik/eurydice/eurydice --config ../c.yaml
+  ../../libcrux_ml_kem.llbc ../../libcrux_sha3.llbc F* version: f09228ef KaRaMeL
+  version: 42a43169
  */
 
 #ifndef __libcrux_mlkem768_portable_H