Commit 872e212
authored
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 8945b7f commit 872e212
File tree
23 files changed
+1605
-1845
lines changed- Misc
- NEWS.d/next/Core and Builtins
- Modules
- _hacl
- include/krml
- internal
- internal
23 files changed
+1605
-1845
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