]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
[3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-11723...
authorGregory P. Smith <greg@krypto.org>
Tue, 26 Mar 2024 01:43:24 +0000 (18:43 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Mar 2024 01:43:24 +0000 (01:43 +0000)
commit2f9caafdf49eed3cd648beefcdd1c35b116183d3
treea73397ee1e0d8af4367654fa2b46da0efba9ada1
parent293a4799509d7223e80d68b802067f8d82e78e5a
[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>
23 files changed:
Misc/NEWS.d/next/Core and Builtins/2024-03-25-17-04-54.gh-issue-99108.8bjdO6.rst [new file with mode: 0644]
Misc/sbom.spdx.json
Modules/_hacl/Hacl_Hash_MD5.c
Modules/_hacl/Hacl_Hash_MD5.h
Modules/_hacl/Hacl_Hash_SHA1.c
Modules/_hacl/Hacl_Hash_SHA1.h
Modules/_hacl/Hacl_Hash_SHA2.c
Modules/_hacl/Hacl_Hash_SHA2.h
Modules/_hacl/Hacl_Hash_SHA3.c
Modules/_hacl/Hacl_Hash_SHA3.h
Modules/_hacl/include/krml/FStar_UInt128_Verified.h
Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h
Modules/_hacl/include/krml/internal/target.h
Modules/_hacl/internal/Hacl_Hash_MD5.h
Modules/_hacl/internal/Hacl_Hash_SHA1.h
Modules/_hacl/internal/Hacl_Hash_SHA2.h
Modules/_hacl/internal/Hacl_Hash_SHA3.h
Modules/_hacl/python_hacl_namespaces.h
Modules/_hacl/refresh.sh
Modules/md5module.c
Modules/sha1module.c
Modules/sha2module.c
Modules/sha3module.c