872e212378e - platform/external/python/cpython3

commit	872e212378ef86392069034afd80bb53896fd93d	[log] [tgz]
author	Jonathan Protzenko <protz@microsoft.com>	Mon Mar 25 17:35:26 2024 -0700
committer	GitHub <noreply@github.com>	Tue Mar 26 00:35:26 2024 +0000
tree	418ee245b753c0df73ce4958f26f8455c7c81098
parent	8945b7ff55b87d11c747af2dad0e3e4d631e62d6 [diff]

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`.

Misc/NEWS.d/next/Core and Builtins/2024-03-25-17-04-54.gh-issue-99108.8bjdO6.rst[Added - diff]
Misc/sbom.spdx.json[diff]
Modules/_hacl/Hacl_Hash_MD5.c[diff]
Modules/_hacl/Hacl_Hash_MD5.h[diff]
Modules/_hacl/Hacl_Hash_SHA1.c[diff]
Modules/_hacl/Hacl_Hash_SHA1.h[diff]
Modules/_hacl/Hacl_Hash_SHA2.c[diff]
Modules/_hacl/Hacl_Hash_SHA2.h[diff]
Modules/_hacl/Hacl_Hash_SHA3.c[diff]
Modules/_hacl/Hacl_Hash_SHA3.h[diff]
Modules/_hacl/include/krml/FStar_UInt128_Verified.h[diff]
Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h[diff]
Modules/_hacl/include/krml/internal/target.h[diff]
Modules/_hacl/internal/Hacl_Hash_MD5.h[diff]
Modules/_hacl/internal/Hacl_Hash_SHA1.h[diff]
Modules/_hacl/internal/Hacl_Hash_SHA2.h[diff]
Modules/_hacl/internal/Hacl_Hash_SHA3.h[diff]
Modules/_hacl/python_hacl_namespaces.h[diff]
Modules/_hacl/refresh.sh[diff]
Modules/md5module.c[diff]
Modules/sha1module.c[diff]
Modules/sha2module.c[diff]
Modules/sha3module.c[diff]

23 files changed