Morph MORPH
SIGN IN SIGN UP
python / cpython UNCLAIMED

The Python programming language

0 0 16 Python

COMMITS

/ Modules/_hacl/include/krml/internal/target.h
3.13
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