Gregory P. Smith 2f9caafdf4 [3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237) (GH-117243) ...

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

Co-authored-by: Jonathan Protzenko <protz@microsoft.com>

2024-03-26 01:43:24 +00:00

..

Hacl_Hash_MD5.h

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

2024-03-26 01:43:24 +00:00

Hacl_Hash_SHA1.h

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

2024-03-26 01:43:24 +00:00

Hacl_Hash_SHA2.h

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

2024-03-26 01:43:24 +00:00

Hacl_Hash_SHA3.h

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

2024-03-26 01:43:24 +00:00