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

..

Hacl_Hash_MD5.h

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

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

Hacl_Hash_SHA1.h

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

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

Hacl_Hash_SHA2.h

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

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

Hacl_Hash_SHA3.h

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

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