Skip to content

Pull requests: mit-plv/fiat-crypto

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

rust: ensure generated files pass clippy linter.
#1675 opened Oct 1, 2023 by armfazh Draft
3 of 4 tasks
Allow bedrock2 pipeline to call external functions.
#1640 opened Aug 25, 2023 by jadephilipoom Loading…
Cmov using sbb when possible
#1596 opened Apr 28, 2023 by andres-erbsen Loading…
Add generated p434_32 file
#1595 opened Apr 26, 2023 by JasonGross Draft
ProTip! Filter pull requests by the default branch with base:master.