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_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
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	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