COMMITS
/ Modules/_hacl/include/krml/internal/target.h March 26, 2024
G
[3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237) (GH-117243)
Gregory P. Smith committed
May 8, 2023
J
gh-99108: Replace SHA3 implementation HACL* version (#103597)
Jonathan Protzenko committed
February 22, 2023
J
gh-99108: Import MD5 and SHA1 from HACL* (#102089)
Jonathan Protzenko committed
February 7, 2023
J
gh-99108: Replace SHA2-224 & 256 with verified code from HACL* (#99109)
Jonathan Protzenko committed