-
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
Optimize HACL* Raw RSA Encryption to use non-constant-time operations.
#460
opened Apr 24, 2024 by
franziskuskiefer
updated Jun 3, 2024
Merge AES-CTR32 into HACL*
#455
opened Mar 18, 2024 by
franziskuskiefer
updated Apr 29, 2024
2 tasks
[Meta] Verified AES for HACL*
meta
#447
opened Jan 22, 2024 by
karthikbhargavan
updated Apr 22, 2024
Figure out procedures for upstreaming HACL* code quickly
#456
opened Apr 2, 2024 by
franziskuskiefer
updated Apr 8, 2024
[feat]: enable support for P384 and P521 curves
enhancement
New feature or request
#431
opened Nov 9, 2023 by
armfazh
updated Nov 20, 2023
docs: Review documentation for "in-place" / "overlapping" operations.
documentation 🗒
Improvements or additions to documentation
#397
opened Apr 12, 2023 by
duesee
updated Nov 8, 2023
docs: Add direct link to binding documentations in Improvements or additions to documentation
README.md
.
documentation 🗒
#364
opened Feb 20, 2023 by
duesee
updated Sep 27, 2023
Benchmarks
ci 🤖
meta
tests
#15
opened Nov 16, 2021 by
franziskuskiefer
updated Aug 17, 2023
7 of 13 tasks
Streamline ./mach update
tools 🪛
#12
opened Oct 15, 2021 by
franziskuskiefer
updated Aug 17, 2023
2 of 5 tasks
Check Windows cmake example failure
build 🔨
#312
opened Dec 16, 2022 by
franziskuskiefer
updated Aug 17, 2023
feat: Add Meson support.
build 🔨
documentation 🗒
Improvements or additions to documentation
good first issue
Good for newcomers
question
Further information is requested
#302
opened Dec 12, 2022 by
duesee
updated Aug 17, 2023
[ocaml] Don't rebuild documentation for each tag every time.
ci 🤖
documentation 🗒
Improvements or additions to documentation
OCaml
#423
opened Aug 7, 2023 by
franziskuskiefer
updated Aug 7, 2023
[OCaml] build on freebsd x64 fails with "recompile with -fPIC"
build 🔨
help wanted
Extra attention is needed
#422
opened Jul 28, 2023 by
fogti
updated Aug 4, 2023
Check compatibility between opam and npm packages in CI
ci 🤖
#414
opened Jun 15, 2023 by
victor-dumitrescu
updated Jun 15, 2023
benchmarks: Sanity check of benchmarks.
#337
opened Jan 16, 2023 by
duesee
updated Apr 27, 2023
12 of 30 tasks
[Rust] Publish first version of the hacl crate
Rust
#378
opened Mar 20, 2023 by
franziskuskiefer
updated Mar 21, 2023
2 of 9 tasks
Previous Next
ProTip!
Updated in the last three days: updated:>2024-06-18.