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

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 updated Oct 27, 2022
@franziskuskiefer
1
Reduce number of CI jobs ci 🤖
#133 by duesee was closed Oct 30, 2022 updated Oct 30, 2022
2
Miscellaneous C API doc improvements
#263 by franziskuskiefer was closed Nov 2, 2022 updated Nov 2, 2022
@duesee
2
Usage examples documentation 🗒 Improvements or additions to documentation
#237 by franziskuskiefer was closed Nov 4, 2022 updated Nov 4, 2022
2 tasks done
Documentation
@duesee
release notes documentation 🗒 Improvements or additions to documentation
#238 by franziskuskiefer was closed Nov 7, 2022 updated Nov 7, 2022
2 tasks done
Documentation
@duesee
Blog post
#137 by franziskuskiefer was closed Nov 7, 2022 updated Nov 7, 2022
2 tasks done
Documentation
@franziskuskiefer @duesee
1
Code snippets documentation 🗒 Improvements or additions to documentation
#269 by franziskuskiefer was closed Nov 7, 2022 updated Nov 7, 2022 Documentation
1
Make it so that hacl-packages documentation and hacl-star documentation play nice together. blocked 🚫 documentation 🗒 Improvements or additions to documentation
#220 by duesee was closed Nov 7, 2022 updated Nov 7, 2022 Documentation
[meta] CI ci 🤖 meta
#14 by franziskuskiefer was closed Jul 12, 2022 updated Nov 11, 2022
6 of 16 tasks
Continuous Integration
1
@duesee
Allow skipping CI jobs
#90 by franziskuskiefer was closed Nov 11, 2022 updated Nov 11, 2022
1
Re-enforce drone CI ci 🤖
#275 by franziskuskiefer was closed Dec 1, 2022 updated Dec 1, 2022
1
docs: Add some HPKE docs. documentation 🗒 Improvements or additions to documentation
#287 by duesee was closed Dec 5, 2022 updated Dec 5, 2022
1
@duesee
docs: Refer to (now available) Hacl_HMAC_DRBG_free. documentation 🗒 Improvements or additions to documentation
#296 by duesee was closed Dec 7, 2022 updated 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 updated Dec 7, 2022 Documentation
1
@duesee
API Documentation documentation 🗒 Improvements or additions to documentation
#195 by franziskuskiefer was closed Nov 7, 2022 updated Dec 12, 2022
27 tasks done
Documentation
Describe how documentation system works. documentation 🗒 Improvements or additions to documentation
#235 by duesee was closed Dec 12, 2022 updated Dec 12, 2022 Documentation
1
@duesee
ci: Don't build unrelevant documentation tags. build 🔨 ci 🤖 enhancement New feature or request
#305 by duesee was closed Dec 13, 2022 updated Dec 13, 2022
1
@duesee
Use custom #defines in examples until hacl-star has them. documentation 🗒 Improvements or additions to documentation
#285 by duesee was closed Dec 14, 2022 updated Dec 14, 2022 Documentation
1
@duesee
CMake support documentation 🗒 Improvements or additions to documentation
#268 by franziskuskiefer was closed Dec 16, 2022 updated Dec 16, 2022 Documentation
1
@franziskuskiefer
2
Add OCaml documentation documentation 🗒 Improvements or additions to documentation
#227 by franziskuskiefer was closed Dec 16, 2022 updated Dec 16, 2022
3 of 4 tasks
Documentation
1
@franziskuskiefer
3
docs: Provide tested examples for every algorithm. documentation 🗒 Improvements or additions to documentation
#193 by duesee was closed Dec 13, 2022 updated Jan 6, 2023
33 of 41 tasks
Documentation
1
@duesee
More fine grained performance regression tests
#330 by franziskuskiefer was closed Jan 11, 2023 updated Jan 11, 2023 Verification Environment
1
@pnmadelaine
tests: Add RSA 8k test. tests
#328 by duesee was closed Jan 23, 2023 updated Jan 23, 2023 Verification Environment
1
@duesee
docs: Describe benchmarks in book.
#349 by duesee was closed Jan 30, 2023 updated Jan 30, 2023
@duesee
1
JavaScript Documentation
#366 by pnmadelaine was closed Feb 27, 2023 updated Feb 27, 2023
1
@pnmadelaine
ProTip! What’s not been updated in a month: updated:<2024-06-12.