-
Notifications
You must be signed in to change notification settings - Fork 161
Issues: hacl-star/hacl-star
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
[$] Implement Vale assembly for s390x (IBMz z15)
feature request
P3
verification
#395
opened Feb 4, 2021 by
edelsohn
updated Feb 22, 2021
Providing js_of_ocaml stubs relying on the wasm target.
#496
opened Nov 18, 2021 by
hhugo
updated Nov 19, 2021
undefined behavior in gcc-compatible detected by ubsan
documentation
P2
Production
#327
opened Jul 14, 2020 by
aep
updated Dec 2, 2021
EverCrypt Cryptofuzz support
api
enhancement
help wanted
tests
#149
opened Apr 3, 2019 by
guidovranken
updated Nov 3, 2022
Random Number Generation for HACL*
experimental
P1
#26
opened Jul 28, 2017 by
beurdouche
updated Nov 11, 2022
Use LowStar.ConstBuffer, all the way up to the top-level EverCrypt APIs
api
enhancement
P2
#334
opened Aug 7, 2020 by
niekbouman
updated Nov 17, 2022
Support for NaCL's (libsodium's) hchacha20-based box
feature request
help wanted
#225
opened Jan 24, 2020 by
copy
updated Nov 21, 2022
Spurious tasklists because of GitHub issue template
#723
opened Dec 2, 2022 by
msprotz
updated Dec 2, 2022
Expose
is_supported_alg
in EverCrypt.DRBG API
bug
documentation
#435
opened Apr 29, 2021 by
victor-dumitrescu
updated Dec 15, 2022
DRBG and HKDF stack overflow
bug
P1
Production
#446
opened May 23, 2021 by
franziskuskiefer
updated Dec 15, 2022
Optimize the 128-bit vectorization of Poly1305 MAC for PowerPC
help wanted
#453
opened Jun 14, 2021 by
mamonet
updated Dec 15, 2022
[$] Implement Vale assembly for Power VSX
feature request
P3
#396
opened Feb 4, 2021 by
edelsohn
updated Dec 15, 2022
Code quality improvements
enhancement
P1
Production
#460
opened Jul 2, 2021 by
msprotz
updated Dec 15, 2022
3 of 8 tasks
Minimum supported version for C compiler
P1
Production
#483
opened Oct 8, 2021 by
franziskuskiefer
updated Dec 15, 2022
Slap
inline_for_extraction
on more types to avoid uu__is in public headers
#599
opened Sep 8, 2022 by
msprotz
updated Dec 15, 2022
Missing stdcall annotations on Vale extern declarations
#744
opened Dec 15, 2022 by
msprotz
updated Dec 15, 2022
Roadmap for adding PowerPC support to Vale
enhancement
Production
#454
opened Jun 15, 2021 by
mamonet
updated Feb 16, 2023
add generic spec and implementation for ECDSA and ECDH
#807
opened Apr 19, 2023 by
polubelova
updated Apr 19, 2023
Code quality in SHA2 streaming: could share more code between finish_224 and finish_256
#772
opened Feb 8, 2023 by
msprotz
updated May 22, 2023
use @@strict_on_arguments on more definitions
#831
opened Jun 12, 2023 by
msprotz
updated Jun 12, 2023
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-05-26.