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

docs: Refer to (now available) Hacl_HMAC_DRBG_free. documentation 🗒 Improvements or additions to documentation
#296 by duesee was closed Dec 7, 2022 Documentation
1
@duesee
docs: Make it clear that streaming API allows intermediate hashes (w/o reinit). documentation 🗒 Improvements or additions to documentation
#295 by duesee was closed Dec 7, 2022 Documentation
1
@duesee
tests: Add SHA-3 streaming tests. good first issue Good for newcomers tests
#290 by duesee was closed Nov 21, 2023
docs: Add some HPKE docs. documentation 🗒 Improvements or additions to documentation
#287 by duesee was closed Dec 5, 2022
1
@duesee
cut a new point release (to be discussed)
#286 by duesee was closed Aug 17, 2023
Use custom #defines in examples until hacl-star has them. documentation 🗒 Improvements or additions to documentation
#285 by duesee was closed Dec 14, 2022 Documentation
1
@duesee
Update Vale
#282 by franziskuskiefer was closed Nov 30, 2022
3 tasks done
1
@duesee
Re-enforce drone CI ci 🤖
#275 by franziskuskiefer was closed Dec 1, 2022
1
Code snippets documentation 🗒 Improvements or additions to documentation
#269 by franziskuskiefer was closed Nov 7, 2022 Documentation
1
CMake support documentation 🗒 Improvements or additions to documentation
#268 by franziskuskiefer was closed Dec 16, 2022 Documentation
1
@franziskuskiefer
2
Miscellaneous C API doc improvements
#263 by franziskuskiefer was closed Nov 2, 2022
@duesee
2
Update macos CI to latest ci 🤖
#259 by franziskuskiefer was closed Aug 17, 2023
1
CI: Eagerly cancel superseded jobs. ci 🤖 question Further information is requested
#253 by duesee was closed Oct 25, 2022
1
OCaml documentation fails in CI bug Something isn't working ci 🤖 documentation 🗒 Improvements or additions to documentation
#252 by duesee was closed Oct 27, 2022
@franziskuskiefer
1
Remove/Change -c CONFIG parameter of ./mach install? question Further information is requested
#248 by duesee was closed Oct 19, 2022
1
./mach install should give a better error message when ./mach build wasn't run before.
#247 by duesee was closed Oct 19, 2022
1
Update NodeJS on CI ci 🤖
#239 by franziskuskiefer was closed Oct 19, 2022
1
@duesee
release notes documentation 🗒 Improvements or additions to documentation
#238 by franziskuskiefer was closed Nov 7, 2022
2 tasks done
Documentation
@duesee
Usage examples documentation 🗒 Improvements or additions to documentation
#237 by franziskuskiefer was closed Nov 4, 2022
2 tasks done
Documentation
@duesee
Describe how documentation system works. documentation 🗒 Improvements or additions to documentation
#235 by duesee was closed Dec 12, 2022 Documentation
1
@duesee
c89 cleanup
#233 by franziskuskiefer was closed Aug 17, 2023
2 tasks
Documentation for RSASSA-PSS is missing. documentation 🗒 Improvements or additions to documentation
#229 by duesee was closed Oct 10, 2022
1
Add OCaml documentation documentation 🗒 Improvements or additions to documentation
#227 by franziskuskiefer was closed Dec 16, 2022
3 of 4 tasks
Documentation
1
@franziskuskiefer
3
API Reference: Rename bindings section in the book (packages) documentation 🗒 Improvements or additions to documentation
#226 by franziskuskiefer was closed Oct 18, 2022 Documentation
1
@franziskuskiefer
API Reference: Add welcome page documentation 🗒 Improvements or additions to documentation
#225 by franziskuskiefer was closed Oct 18, 2022 Documentation
1
@duesee
ProTip! Find all open issues with in progress development work with linked:pr.