Pull requests: hacl-star/hacl-star
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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!
Follow long discussions with comments:>50.