Remove one superfluous file following upstream fix

python · gpshead · May 8, 2023 · Apr 17, 2023 · Apr 17, 2023 · Apr 17, 2023
commit 9f5b5a6a5b2b15adef2d7e6efc8293092546de2b
@@ -35,7 +35,7 @@ extern "C" {
 #include "krml/lowstar_endianness.h"
 #include "krml/internal/target.h"

-#include "Hacl_Spec.h"
+#include "Hacl_Streaming_Types.h"

 typedef struct Hacl_Streaming_Keccak_hash_buf_s
 {

diff --git a/Modules/_hacl/Hacl_Spec.h b/Modules/_hacl/Hacl_Spec.h
@@ -35,6 +35,23 @@ extern "C" {
 #include "krml/lowstar_endianness.h"
 #include "krml/internal/target.h"

+#define Spec_Hash_Definitions_SHA2_224 0
+#define Spec_Hash_Definitions_SHA2_256 1
+#define Spec_Hash_Definitions_SHA2_384 2
+#define Spec_Hash_Definitions_SHA2_512 3
+#define Spec_Hash_Definitions_SHA1 4
+#define Spec_Hash_Definitions_MD5 5
+#define Spec_Hash_Definitions_Blake2S 6
+#define Spec_Hash_Definitions_Blake2B 7
+#define Spec_Hash_Definitions_SHA3_256 8
+#define Spec_Hash_Definitions_SHA3_224 9
+#define Spec_Hash_Definitions_SHA3_384 10
+#define Spec_Hash_Definitions_SHA3_512 11
+#define Spec_Hash_Definitions_Shake128 12
+#define Spec_Hash_Definitions_Shake256 13
+
+typedef uint8_t Spec_Hash_Definitions_hash_alg;
+
 typedef struct Hacl_Streaming_MD_state_32_s
 {
  uint32_t *block_state;

@@ -22,7 +22,7 @@ fi

 # Update this when updating to a new version after verifying that the changes
 # the update brings in are good.
-expected_hacl_star_rev=ba6a4928d810f4ed9e24040c55d019d0808104a7
+expected_hacl_star_rev=a41202dc7378b6e41c609d6b2f8f8b8e10581827

 hacl_dir="$(realpath "$1")"
 cd "$(dirname "$0")"
@@ -40,7 +40,6 @@ fi

 declare -a dist_files
 dist_files=(
-  Hacl_Spec.h
  Hacl_Streaming_SHA2.h
  Hacl_Streaming_Types.h
  Hacl_Hash_SHA1.h