Repository navigation

gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b - #130960

Merged

gpshead merged 8 commits into

python:mainfrom

chris-eibl:hacl-abstraction2

Mar 15, 2025

Commits on Mar 7, 2025
- update to hacl_star_rev=809c320227eecc61a744953f1ee574b4f24aabe3
  chris-eibl
  committed
  02f3ebe
- fix #include "python_hacl_namespaces.h"
  chris-eibl
  committed
  94bcca9
- fix clang-cl warnings
  chris-eibl
  committed
  5db43ba
- remove Modules/_hacl/include/krml/fstar_uint128_gcc64.h
  chris-eibl
  committed
  75edcdd
- make regen-sbom
  chris-eibl
  committed
  35052e8
Commits on Mar 11, 2025
- vendor from upstream main 322f6d58290e0ed7f4ecb84fcce12917aa0f594b
  chris-eibl
  committed
  427dfab
- blurb it
  chris-eibl
  committed
  6968b93
Commits on Mar 12, 2025
- remove all "sed" lines that do nothing
  chris-eibl
  committed
  e5b9dcc