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
34 Open 82 Closed
34 Open 82 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

Optimize HACL* Raw RSA Encryption to use non-constant-time operations.
#460 opened Apr 24, 2024 by franziskuskiefer
@karthikbhargavan
7
Figure out procedures for upstreaming HACL* code quickly
#456 opened Apr 2, 2024 by franziskuskiefer
@karthikbhargavan
1
Merge AES-CTR32 into HACL*
#455 opened Mar 18, 2024 by franziskuskiefer
2 tasks
1
@mamonet
2
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
[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
Check Windows cmake example failure build 🔨
#312 opened Dec 16, 2022 by franziskuskiefer
set-output is deprecated ci 🤖
#276 opened Nov 11, 2022 by franziskuskiefer
Add oss-fuzz/cryptofuzz module
#267 opened Nov 3, 2022 by franziskuskiefer
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
Allow to build with tests and benchmarks build 🔨 tests
#115 opened Aug 2, 2022 by franziskuskiefer
1
Use C build artifacts for binding CI ci 🤖
#94 opened Jul 7, 2022 by franziskuskiefer
[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
set upstream repository or directory build 🔨 tools 🪛
#76 opened Jun 17, 2022 by franziskuskiefer
1 task
1
Allow algorithm selection for agile APIs build 🔨 enhancement New feature or request
#62 opened Apr 21, 2022 by franziskuskiefer
Clean Rust API api Rust
#57 opened Mar 17, 2022 by franziskuskiefer
5 tasks
1
Feature parity with C library Rust
#56 opened Mar 17, 2022 by franziskuskiefer
1
build if test not present instead of aborting build 🔨 tests
#39 opened Feb 3, 2022 by franziskuskiefer
allow setting gtest filters tests
#38 opened Feb 3, 2022 by franziskuskiefer
JS bindings JS meta
#31 opened Feb 3, 2022 by franziskuskiefer
4 of 7 tasks
1
ProTip! Exclude everything labeled bug with -label:bug.