Skip to content

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
60 Open 130 Closed
60 Open 130 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve SHA Streaming Tests tests
#432 opened Nov 21, 2023 by franziskuskiefer
[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
Check compatibility between opam and npm packages in CI ci 🤖
#414 opened Jun 15, 2023 by victor-dumitrescu
ci: Minimize CI runs. ci 🤖
#389 opened Mar 24, 2023 by duesee
1 task
[Rust] Publish first version of the hacl crate Rust
#378 opened Mar 20, 2023 by franziskuskiefer
2 of 9 tasks
Docs cleanup documentation 🗒 Improvements or additions to documentation
#365 opened Feb 23, 2023 by franziskuskiefer
4 tasks
tests: Implement HKDF-SHA2-384 tests. good first issue Good for newcomers tests
#358 opened Feb 9, 2023 by duesee
benchmarks: Implement HKDF-SHA2-384 benchmark. benchmarks good first issue Good for newcomers
#357 opened Feb 9, 2023 by duesee
Check Windows cmake example failure build 🔨
#312 opened Dec 16, 2022 by franziskuskiefer
benchmarks: Monitor (and document) threshold value in benchmarks. documentation 🗒 Improvements or additions to documentation enhancement New feature or request question Further information is requested
#309 opened Dec 14, 2022 by duesee
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
set-output is deprecated ci 🤖
#276 opened Nov 11, 2022 by franziskuskiefer
Add oss-fuzz/cryptofuzz module
#267 opened Nov 3, 2022 by franziskuskiefer
Refactor: Define API (and names) api documentation 🗒 Improvements or additions to documentation
#255 opened Oct 26, 2022 by duesee
21 tasks
docs: Introduce pages for common types, typedefs, defines, ... used throughout HACL. documentation 🗒 Improvements or additions to documentation
#217 opened Oct 6, 2022 by duesee
Fix OpenSSL benchmarks on macOS CI ci 🤖
#198 opened Oct 3, 2022 by franziskuskiefer
Enable benchmarks on Windows CI ci 🤖
#197 opened Oct 3, 2022 by franziskuskiefer
Move experimental code behind a flag build 🔨
#186 opened Sep 8, 2022 by franziskuskiefer
2 tasks
evercrypt drbg can't be tested with cvp api
#155 opened Aug 22, 2022 by franziskuskiefer
Use C build artifacts for binding CI ci 🤖
#94 opened Jul 7, 2022 by franziskuskiefer
Fix windows --msvc 32-bit build in CI. ci 🤖
#92 opened Jul 6, 2022 by duesee
Re-include c89 job in CI. ci 🤖
#91 opened Jul 6, 2022 by duesee
[hacl] Extract only make target
#79 opened Jun 23, 2022 by franziskuskiefer
Fix Windows Rust CI build 🔨 ci 🤖 Rust
#78 opened Jun 17, 2022 by franziskuskiefer
2 tasks
Add CodeQL to CI ci 🤖
#66 opened May 4, 2022 by protz
ProTip! no:milestone will show everything without a milestone.