core_num__u32_8__BITS fixup

cryspen · Dec 19, 2023 · f7fa4c2 · f7fa4c2
1 parent c046667
commit f7fa4c2
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 4 deletions.
diff --git a/config/config.json b/config/config.json
@@ -351,6 +351,9 @@
             },
             {
                 "file": "libcrux_hacl_glue.c"
+            },
+            {
+                "file": "core.c"
             }
         ]
     },

diff --git a/libcrux/include/eurydice_glue.h b/libcrux/include/eurydice_glue.h
@@ -1,6 +1,13 @@
 #pragma once
 
-#include "lowstar_endianness.h"
+#include <inttypes.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <stdbool.h>
+#include <string.h>
+
+#include "krml/lowstar_endianness.h"
+#include "krml/internal/target.h"
 
 // SLICES, ARRAYS, ETC.
 
@@ -78,8 +85,6 @@ static inline void core_ops_arith__i32_319__add_assign(int32_t *x0, int32_t *x1)
 static inline uint8_t Eurydice_bitand_pv_u8(uint8_t *p, uint8_t v) { return (*p) & v; }
 static inline uint8_t Eurydice_shr_pv_u8(uint8_t *p, int32_t v) { return (*p) >> v; }
 
-static uint32_t core_num__u32_8__BITS = 32;
-
 // ITERATORS
 
 #define core_num_nonzero_NonZeroUsize size_t

diff --git a/libcrux/include/internal/core.h b/libcrux/include/internal/core.h
@@ -28,7 +28,7 @@ static inline uint16_t core_num__u16_7__wrapping_add(uint16_t x0, uint16_t x1);
 
 static inline uint8_t core_num__u8_6__wrapping_sub(uint8_t x0, uint8_t x1);
 
-static uint32_t core_num__u32_8__BITS;
+#define core_num__u32_8__BITS 32
 
 typedef struct core_option_Option__uint32_t_s
 {
-Original file line number
+Diff line change
@@ Expand Up / @@ -351,6 +351,9 @@ @@
                 },
                 {
                     "file": "libcrux_hacl_glue.c"
+                },
+                {
+                    "file": "core.c"
                 }
             ]
         },
@@ Expand Down @@