Morph MORPH
SIGN IN SIGN UP
python / cpython UNCLAIMED

The Python programming language

0 0 13 Python

COMMITS

/ Modules/_hacl/include/krml/internal/target.h
main
October 16, 2025
J
gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)
Jonathan Protzenko committed
3a81313
March 15, 2025
C
gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960)
Chris Eibl committed
0ce056d
December 18, 2024
A
gh-127897: fix HACL* build on macOS/Catalina (GH-127932)
aeiouaeiouaeiouaeiouaeiouaeiou committed
3291656
October 17, 2024
J
GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244)
Jonathan Protzenko committed
528bbab
August 13, 2024
J
gh-99108: Add HACL* Blake2 implementation to hashlib (GH-119316)
Jonathan Protzenko committed
325e9b8
March 26, 2024
J
gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)
Jonathan Protzenko committed
872e212
May 8, 2023
J
gh-99108: Replace SHA3 implementation HACL* version (#103597)
Jonathan Protzenko committed
15665d8
February 22, 2023
J
gh-99108: Import MD5 and SHA1 from HACL* (#102089)
Jonathan Protzenko committed
fcadc7e
February 7, 2023
J
gh-99108: Replace SHA2-224 & 256 with verified code from HACL* (#99109)
Jonathan Protzenko committed
1fcc0ef