[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>
G
Gregory P. Smith committed
2f9caafdf49eed3cd648beefcdd1c35b116183d3
Parent: 293a479
Committed by GitHub <noreply@github.com>
on 3/26/2024, 1:43:24 AM