◐ Shell
clean mode source ↗

gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b by chris-eibl · Pull Request #130960 · python/cpython

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Conversation

chris-eibl

chris-eibl

chris-eibl

chris-eibl

chris-eibl

remove fstar_uint128_gcc64.h and fstar_uint128_msvc.h
make regen-sbom
#include resolved using non-portable Microsoft search rules

chris-eibl

chris-eibl

chris-eibl

from Makefile.pre.in to fix makefile based builds
remove FStar_UInt128.h
revert interim fixes in blake2module.c
regen sbom

@chris-eibl chris-eibl changed the title gh-130213: update hacl_star_rev to 809c320227eecc61a744953f1ee574b4f24aabe3 gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b

Mar 11, 2025

picnixz

picnixz

This was referenced

Mar 16, 2025

plashchynski pushed a commit to plashchynski/cpython that referenced this pull request

Mar 17, 2025
…2917aa0f594b (pythonGH-130960)

Updates the HACL* implementation used by hashlib from upstream sources.