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
16 Open 35 Closed
16 Open 35 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

docs: Review documentation for "in-place" / "overlapping" operations. documentation 🗒 Improvements or additions to documentation
#397 opened Apr 12, 2023 by duesee
3
ci: Minimize CI runs. ci 🤖
#389 opened Mar 24, 2023 by duesee
1 task
docs: Add direct link to binding documentations in README.md. documentation 🗒 Improvements or additions to documentation
#364 opened Feb 20, 2023 by duesee
3
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
benchmarks: Sanity check of benchmarks.
#337 opened Jan 16, 2023 by duesee
12 of 30 tasks
3
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
build: Update config/default_config.cmake during mach update. build 🔨
#299 opened Dec 7, 2022 by duesee
1
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
How does Hacl_HKDF_expand_sha2_256 signal errors, i.e., invalid arguments? api
#123 opened Aug 8, 2022 by duesee
2
Allowed hash algorithms for RSASSA-PSS. api
#100 opened Jul 11, 2022 by duesee
1
Introduce an CI/CD job to publish opam packages. ci 🤖
#96 opened Jul 7, 2022 by duesee
1
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
ProTip! What’s not been updated in a month: updated:<2024-06-01.