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
1 Open 22 Closed
1 Open 22 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

Update from upstream
#459 by franziskuskiefer was closed Jun 24, 2024
@franziskuskiefer
2
Update ML-KEM C
#454 by franziskuskiefer was closed Apr 24, 2024
1
@franziskuskiefer
2
disable building docs for old ocaml tags cla-signed
#424 by franziskuskiefer was merged Aug 10, 2023 Loading…
@franziskuskiefer
3
CMake support documentation 🗒 Improvements or additions to documentation
#268 by franziskuskiefer was closed Dec 16, 2022 Documentation
1
@franziskuskiefer
2
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
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
Warning when building asm bug Something isn't working
#196 by victor-dumitrescu was closed Jun 12, 2024
@franziskuskiefer
6
benchmarks update cla-signed
#190 by franziskuskiefer was merged Oct 4, 2022 Loading…
@franziskuskiefer
5
Drop EC_K256?
#153 by franziskuskiefer was closed Aug 22, 2022
@franziskuskiefer
1
Blog post
#137 by franziskuskiefer was closed Nov 7, 2022
2 tasks done
Documentation
@franziskuskiefer @duesee
1
add sanitiser builds to CI ci 🤖
#124 by franziskuskiefer was closed Aug 29, 2022 Continuous Integration
1
@franziskuskiefer
Use ANDROID_NDK_LATEST_HOME cla-signed
#109 by franziskuskiefer was merged Aug 1, 2022 Loading…
@franziskuskiefer
1
use inline asm cla-signed
#106 by franziskuskiefer was merged Jul 13, 2022 Loading…
@franziskuskiefer
1
remove disabled intrinsics cla-signed
#104 by franziskuskiefer was merged Jul 13, 2022 Loading…
1
@franziskuskiefer
x64 intrinsics are not configured correctly build 🔨
#102 by victor-dumitrescu was closed Jul 13, 2022
1
@franziskuskiefer
Code update cla-signed
#80 by franziskuskiefer was merged Jul 1, 2022 Loading…
@franziskuskiefer
4
Basic setup for benchmarks cla-signed
#74 by franziskuskiefer was merged Aug 3, 2022 Loading…
@franziskuskiefer
12
RSAPSS Rust bindings cla-signed
#73 by franziskuskiefer was merged Jun 13, 2022 Loading…
@franziskuskiefer
Add Victor to CLA cla-signed
#72 by franziskuskiefer was merged Jul 1, 2022 Loading…
@franziskuskiefer
opam packages cla-signed
#71 by franziskuskiefer was merged Jul 7, 2022 Loading…
3
@franziskuskiefer @victor-dumitrescu
7
Improving tests cla-signed
#63 by franziskuskiefer was merged May 4, 2022 Loading…
@franziskuskiefer
ProTip! Exclude everything labeled bug with -label:bug.