-
Notifications
You must be signed in to change notification settings - Fork 166
Pull requests: hacl-star/hacl-star
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
HACL*, extracted to Rust, with match constructs retained wherever applicable
#982
opened Sep 18, 2024 by
msprotz
Loading…
Restore SHA-3 speed by inlining absorb_inner
#955
opened Jun 15, 2024 by
karthikbhargavan
Loading…
6 tasks
Import NI modules of GHASH from
pnmadelaine_aes
branch and adds specific proofs
#942
opened Apr 26, 2024 by
mamonet
Loading…
Import AES-CTR32 modules from pnmadelaine_aes branch and add NI proofs
#919
opened Mar 9, 2024 by
mamonet
Loading…
EverCrypr.Hash.alloca: remove strict_on_args attribute
#888
opened Nov 27, 2023 by
mtzguido
Loading…
3 of 10 tasks
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.