summaryrefslogtreecommitdiffstats
path: root/Modules/_hacl/include/krml
Commit message (Expand)AuthorAgeFilesLines
* [3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (...Gregory P. Smith2024-03-263-130/+157
* gh-99108: Replace SHA3 implementation HACL* version (#103597)Jonathan Protzenko2023-05-082-2/+47
* gh-99108: Import MD5 and SHA1 from HACL* (#102089)Jonathan Protzenko2023-02-223-5/+6
* gh-99108: Import SHA2-384/512 from HACL* (#101707)Jonathan Protzenko2023-02-144-1/+430
* gh-99108: Replace SHA2-224 & 256 with verified code from HACL* (#99109)Jonathan Protzenko2023-02-073-0/+557