Skip to content

Commit 02f3ebe

Browse files
committed
update to hacl_star_rev=809c320227eecc61a744953f1ee574b4f24aabe3
1 parent 8190571 commit 02f3ebe

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+3515
-973
lines changed

Makefile.pre.in

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -666,12 +666,15 @@ LIBHACL_BLAKE2_OBJS= \
666666
$(LIBHACL_SIMD256_OBJS)
667667

668668
LIBHACL_HEADERS= \
669+
Modules/_hacl/include/krml/FStar_UInt128.h \
670+
Modules/_hacl/include/krml/fstar_uint128_gcc64.h \
669671
Modules/_hacl/include/krml/FStar_UInt128_Verified.h \
670672
Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h \
671673
Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h \
674+
Modules/_hacl/include/krml/internal/compat.h \
672675
Modules/_hacl/include/krml/internal/target.h \
676+
Modules/_hacl/include/krml/internal/types.h \
673677
Modules/_hacl/include/krml/lowstar_endianness.h \
674-
Modules/_hacl/include/krml/types.h \
675678
Modules/_hacl/Hacl_Streaming_Types.h \
676679
Modules/_hacl/python_hacl_namespaces.h
677680

@@ -690,6 +693,7 @@ LIBHACL_BLAKE2_HEADERS= \
690693
Modules/_hacl/internal/Hacl_Impl_Blake2_Constants.h \
691694
Modules/_hacl/internal/Hacl_Hash_Blake2s_Simd128.h \
692695
Modules/_hacl/internal/Hacl_Hash_Blake2b_Simd256.h \
696+
Modules/_hacl/internal/Hacl_Streaming_Types.h \
693697
$(LIBHACL_HEADERS)
694698

695699
#########################################################################

0 commit comments

Comments
 (0)