COMMITS
/ Modules/_hacl/Hacl_Hash_MD5.c May 16, 2025
A
gh-134069: bump HACL* revision to incoporate `memset_s` (#134027)
aeiouaeiouaeiouaeiouaeiouaeiou 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
February 22, 2023
J
gh-99108: Import MD5 and SHA1 from HACL* (#102089)
Jonathan Protzenko committed