3 people 32e60fa220 [3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192) ...

gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)

This pulls an updated version of HACL* that fixes the memory leak reported in GH-140120, via an upstream fix.
(cherry picked from commit 3a81313019)

Co-authored-by: Jonathan Protzenko <[email protected]>

2025-10-16 20:53:12 -07:00

..

Hacl_Hash_Blake2b_Simd256.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_Blake2b.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_Blake2s_Simd128.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_Blake2s.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_MD5.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_SHA1.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_SHA2.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Hash_SHA3.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_HMAC.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Impl_Blake2_Constants.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Streaming_HMAC.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00

Hacl_Streaming_Types.h

[3.14] gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) (#140192)

2025-10-16 20:53:12 -07:00