Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 0ce056d

Browse files
chris-eiblchris-eibl
authored
gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960)
Updates the HACL* implementation used by hashlib from upstream sources.
1 parent 7ae9c5d commit 0ce056d

40 files changed

+2884
-1057
lines changed

‎Makefile.pre.in

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -669,9 +669,10 @@ LIBHACL_HEADERS= \
669669
Modules/_hacl/include/krml/FStar_UInt128_Verified.h \
670670
Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h \
671671
Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h \
672+
Modules/_hacl/include/krml/internal/compat.h \
672673
Modules/_hacl/include/krml/internal/target.h \
674+
Modules/_hacl/include/krml/internal/types.h \
673675
Modules/_hacl/include/krml/lowstar_endianness.h \
674-
Modules/_hacl/include/krml/types.h \
675676
Modules/_hacl/Hacl_Streaming_Types.h \
676677
Modules/_hacl/python_hacl_namespaces.h
677678

@@ -690,6 +691,7 @@ LIBHACL_BLAKE2_HEADERS= \
690691
Modules/_hacl/internal/Hacl_Impl_Blake2_Constants.h \
691692
Modules/_hacl/internal/Hacl_Hash_Blake2s_Simd128.h \
692693
Modules/_hacl/internal/Hacl_Hash_Blake2b_Simd256.h \
694+
Modules/_hacl/internal/Hacl_Streaming_Types.h \
693695
$(LIBHACL_HEADERS)
694696

695697
#########################################################################

‎Misc/NEWS.d/next/Build/2025-03-11-19-06-50.gh-issue-130213._eQr0g.rst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
Update the vendored HACL* library to fix build issues with older clang
2+
compilers.

0 commit comments

Comments
 (0)