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
Missing header inclusion for usage of alloca via clang packaged in Visual Studio 2022
#946
opened May 1, 2024 by
msprotz
Code quality in SHA2 streaming: could share more code between finish_224 and finish_256
#772
opened Feb 8, 2023 by
msprotz
Slap
inline_for_extraction
on more types to avoid uu__is in public headers
#599
opened Sep 8, 2022 by
msprotz
Roadmap for adding PowerPC support to Vale
enhancement
Production
#454
opened Jun 15, 2021 by
mamonet
Optimize the 128-bit vectorization of Poly1305 MAC for PowerPC
help wanted
#453
opened Jun 14, 2021 by
mamonet
Expose
is_supported_alg
in EverCrypt.DRBG API
bug
documentation
#435
opened Apr 29, 2021 by
victor-dumitrescu
[$] Implement Vale assembly for s390x (IBMz z15)
feature request
P3
verification
#395
opened Feb 4, 2021 by
edelsohn
Use LowStar.ConstBuffer, all the way up to the top-level EverCrypt APIs
api
enhancement
P2
#334
opened Aug 7, 2020 by
niekbouman
undefined behavior in gcc-compatible detected by ubsan
documentation
P2
Production
#327
opened Jul 14, 2020 by
aep
Previous Next
ProTip!
Updated in the last three days: updated:>2024-05-05.