-
Notifications
You must be signed in to change notification settings - Fork 160
Pull requests: hacl-star/hacl-star
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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 i on any issue or pull request to go back to the issue listing page.