Morph MORPH
SIGN IN SIGN UP
python / cpython UNCLAIMED

The Python programming language

0 0 16 Python

COMMITS

/ Modules/_hacl/include/krml/FStar_UInt128_Verified.h
main
October 16, 2025
J
gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)
Jonathan Protzenko committed
3a81313
May 16, 2025
A
gh-134069: bump HACL* revision to incoporate `memset_s` (#134027)
aeiouaeiouaeiouaeiouaeiouaeiou committed
1566c34
March 15, 2025
C
gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960)
Chris Eibl committed
0ce056d
October 17, 2024
J
GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244)
Jonathan Protzenko committed
528bbab
March 26, 2024
J
gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)
Jonathan Protzenko committed
872e212
February 22, 2023
J
gh-99108: Import MD5 and SHA1 from HACL* (#102089)
Jonathan Protzenko committed
fcadc7e
February 14, 2023
J
gh-99108: Import SHA2-384/512 from HACL* (#101707)
Jonathan Protzenko committed
e5da9ab