COMMITS
/ Modules/_hacl/Hacl_Hash_SHA2.h October 16, 2025
J
gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)
Jonathan Protzenko committed
March 15, 2025
C
March 26, 2024
J
gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)
Jonathan Protzenko committed
May 24, 2023
J
gh-99108: Refresh HACL* (#104808)
Jonathan Protzenko committed