Commit 3888fd9
pythongh-99108: Refresh HACL*; update modules accordingly; fix namespacing (pythonGH-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`.1 parent 293a479 commit 3888fd9
File tree
23 files changed
+1606
-1846
lines changed- Misc
- NEWS.d/next/Core and Builtins
- Modules
- _hacl
- include/krml
- internal
- internal
23 files changed
+1606
-1846
lines changedLines changed: 6 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments