cpython/Modules/_hacl/include/krml
Jonathan Protzenko fcadc7e405
gh-99108: Import MD5 and SHA1 from HACL* (#102089)
Replaces our fallback non-OpenSSL MD5 and SHA1 implementations with those from HACL* as we've already done with SHA2.
2023-02-22 13:18:43 -08:00
..
internal gh-99108: Import MD5 and SHA1 from HACL* (#102089) 2023-02-22 13:18:43 -08:00
FStar_UInt128_Verified.h gh-99108: Import MD5 and SHA1 from HACL* (#102089) 2023-02-22 13:18:43 -08:00
FStar_UInt_8_16_32_64.h gh-99108: Import MD5 and SHA1 from HACL* (#102089) 2023-02-22 13:18:43 -08:00
fstar_uint128_struct_endianness.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00
lowstar_endianness.h
types.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00