Commit 528bbab
Accomplished by updating HACL* vendored code from hacl-star/hacl-star@a6a0949 to hacl-star/hacl-star@315a9e4
Co-authored-by: Victor Stinner <[email protected]>
Co-authored-by: Zachary Ware <[email protected]>
1 parent 0d88b99 commit 528bbab
File tree
12 files changed
+619
-359
lines changed- Misc
- Modules/_hacl
- include/krml
- internal
12 files changed
+619
-359
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments