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: Fix SHA-1 and SHA-3 documentation after update. documentation 🗒 Improvements or additions to documentation
#371 by duesee was closed Mar 1, 2023 updated Mar 1, 2023
1
@duesee
Slow deployment
#373 by pnmadelaine was closed Mar 1, 2023 updated Mar 1, 2023
1
ci: Fix gh-pages.
#375 by duesee was closed Mar 2, 2023 updated Mar 2, 2023
1
@duesee
OpenSSL detection on OSX
#399 by msprotz was closed Apr 27, 2023 updated Apr 27, 2023
1
4
K256 is missing a function to load an uncompressed point. tests
#157 by duesee was closed May 23, 2023 updated May 23, 2023
3
mach update deletes necessary file
#391 by pnmadelaine was closed May 30, 2023 updated May 30, 2023
5
c89 cleanup
#233 by franziskuskiefer was closed Aug 17, 2023 updated Aug 17, 2023
2 tasks
Update macos CI to latest ci 🤖
#259 by franziskuskiefer was closed Aug 17, 2023 updated Aug 17, 2023
1
cut a new point release (to be discussed)
#286 by duesee was closed Aug 17, 2023 updated Aug 17, 2023
Update Vale
#282 by franziskuskiefer was closed Nov 30, 2022 updated Aug 17, 2023
3 tasks done
1
@duesee
Investigate GH Pages Deploy errors bug Something isn't working ci 🤖 documentation 🗒 Improvements or additions to documentation
#318 by franziskuskiefer was closed Aug 17, 2023 updated Aug 17, 2023
[Rust] Improve CPU feature detection Rust
#380 by franziskuskiefer was closed Aug 17, 2023 updated Aug 17, 2023
1
ci: Fix CLA process. ci 🤖
#388 by duesee was closed Aug 17, 2023 updated Aug 17, 2023
1
GitHub Actions: Deprecating save-state and set-output commands ci 🤖
#417 by franziskuskiefer was closed Aug 17, 2023 updated Aug 17, 2023
1
Update CI to Ubuntu 22.04 to test newer compilers. ci 🤖
#99 by duesee was closed Aug 17, 2023 updated Aug 17, 2023
2
Implement benchmarks for all primitives tests
#37 by franziskuskiefer was closed Aug 17, 2023 updated Aug 17, 2023
52 of 59 tasks
Verification Environment
@pnmadelaine
2
Extend RSA-PSS examples. documentation 🗒 Improvements or additions to documentation help wanted Extra attention is needed
#346 by duesee was closed Sep 27, 2023 updated Sep 27, 2023
1
5
[ocaml] Cannot restore extended attributes: com.apple.provenance com.apple.provenance question Further information is requested
#428 by mgstoyanov was closed Oct 4, 2023 updated Oct 4, 2023
6
RSA-PSS documentation misses information. documentation 🗒 Improvements or additions to documentation good first issue Good for newcomers
#345 by duesee was closed Nov 6, 2023 updated Nov 6, 2023
2 tasks
2
tests: Add SHA-3 streaming tests. good first issue Good for newcomers tests
#290 by duesee was closed Nov 21, 2023 updated Nov 21, 2023
Add Windows support to hacl_init_cpu_features build 🔨 tests tools 🪛
#177 by franziskuskiefer was closed Nov 21, 2023 updated Nov 21, 2023
C Testing harness for Kyber
#437 by karthikbhargavan was closed Dec 6, 2023 updated Dec 6, 2023
1
@xvzcf
1
Verify AES CoreNI module
#448 by mamonet was closed Feb 19, 2024 updated Feb 19, 2024
@mamonet
1
Verify AES Generic module
#450 by mamonet was closed Mar 9, 2024 updated Mar 9, 2024
@mamonet
2
Verify high-level AES-CTR32 functions for NI and BitSlice
#451 by mamonet was closed Mar 9, 2024 updated Mar 9, 2024
@mamonet
1
ProTip! Exclude everything labeled bug with -label:bug.