COMMITS
/ Modules/_hacl/Hacl_Hash_SHA2.c May 16, 2025
A
gh-134069: bump HACL* revision to incoporate `memset_s` (#134027)
aeiouaeiouaeiouaeiouaeiouaeiou committed
March 15, 2025
C
November 15, 2024
V
gh-126433: Update hacl-star (GH-126791)
Victor Stinner committed
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