-
Notifications
You must be signed in to change notification settings - Fork 18
Issues: cryspen/hacl-packages
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
make util.binary_path dependent on config
#10
opened Oct 12, 2021 by
franziskuskiefer
updated Oct 12, 2021
[mach] Bindings
bindings π€
meta
#5
opened Oct 6, 2021 by
franziskuskiefer
updated Feb 3, 2022
3 tasks
[mach] Snapshots (dist)
build π¨
#2
opened Oct 6, 2021 by
franziskuskiefer
updated Mar 18, 2022
3 tasks
Allow algorithm selection for agile APIs
build π¨
enhancement
New feature or request
#62
opened Apr 21, 2022 by
franziskuskiefer
updated Apr 21, 2022
Fix Windows Rust CI
build π¨
ci π€
Rust
#78
opened Jun 17, 2022 by
franziskuskiefer
updated Jun 17, 2022
2 tasks
Copy tests from upstream
tools πͺ
#13
opened Oct 15, 2021 by
franziskuskiefer
updated Jun 17, 2022
Use C build artifacts for binding CI
ci π€
#94
opened Jul 7, 2022 by
franziskuskiefer
updated Jul 7, 2022
build if test not present instead of aborting
build π¨
tests
#39
opened Feb 3, 2022 by
franziskuskiefer
updated Aug 1, 2022
Allow to build with tests and benchmarks
build π¨
tests
#115
opened Aug 2, 2022 by
franziskuskiefer
updated Aug 8, 2022
Introduce an CI/CD job to publish opam packages.
ci π€
#96
opened Jul 7, 2022 by
duesee
updated Aug 8, 2022
evercrypt drbg can't be tested with cvp
api
#155
opened Aug 22, 2022 by
franziskuskiefer
updated Aug 29, 2022
How does
Hacl_HKDF_expand_sha2_256
signal errors, i.e., invalid arguments?
api
#123
opened Aug 8, 2022 by
duesee
updated Aug 30, 2022
set upstream repository or directory
build π¨
tools πͺ
#76
opened Jun 17, 2022 by
franziskuskiefer
updated Sep 2, 2022
1 task
Move experimental code behind a flag
build π¨
#186
opened Sep 8, 2022 by
franziskuskiefer
updated Sep 26, 2022
2 tasks
Enable benchmarks on Windows CI
ci π€
#197
opened Oct 3, 2022 by
franziskuskiefer
updated Oct 3, 2022
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.