COMMITS
/ Modules/_hacl/Hacl_Streaming_HMAC.c October 16, 2025
J
gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)
Jonathan Protzenko committed
May 16, 2025
A
gh-134069: bump HACL* revision to incoporate `memset_s` (#134027)
aeiouaeiouaeiouaeiouaeiouaeiou committed
April 4, 2025
B
gh-99108: Implement HACL* HMAC (#130157)
Bénédikt Tran committed