Jonathan Protzenko 872e212378 gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237) ...

Pulls in a new update from https://github.com/hacl-star/hacl-star and fixes our C "namespacing" done by `Modules/_hacl/refresh.sh`.

2024-03-26 00:35:26 +00:00

..

internal

gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)

2024-03-26 00:35:26 +00:00

fstar_uint128_struct_endianness.h

gh-99108: Import SHA2-384/512 from HACL* (#101707)

2023-02-14 01:25:16 -08:00

FStar_UInt128_Verified.h

gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)

2024-03-26 00:35:26 +00:00

FStar_UInt_8_16_32_64.h

gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)

2024-03-26 00:35:26 +00:00

lowstar_endianness.h

gh-99108: Replace SHA3 implementation HACL* version (#103597)

2023-05-07 20:50:04 -07:00

types.h

gh-99108: Import SHA2-384/512 from HACL* (#101707)

2023-02-14 01:25:16 -08:00