cpython/Modules/_hacl/include/krml
Jonathan Protzenko 528bbab96f
GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244)
Accomplished by updating HACL* vendored code from hacl-star/hacl-star@a6a09496d9 to hacl-star/hacl-star@315a9e491d

Co-authored-by: Victor Stinner <vstinner@python.org>
Co-authored-by: Zachary Ware <zach@python.org>
2024-10-17 15:08:43 +00:00
..
internal GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244) 2024-10-17 15:08:43 +00:00
FStar_UInt128_Verified.h GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244) 2024-10-17 15:08:43 +00:00
FStar_UInt_8_16_32_64.h GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244) 2024-10-17 15:08:43 +00:00
fstar_uint128_struct_endianness.h GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244) 2024-10-17 15:08:43 +00:00
lowstar_endianness.h GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244) 2024-10-17 15:08:43 +00:00
types.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00