-
Notifications
You must be signed in to change notification settings - Fork 93
Pull requests: PrincetonUniversity/VST
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
use Z.eqb_eq instead of ?Z.eqb_compare, Zeq_bool_eq (for coq/coq#19801)
#799
opened Nov 3, 2024 by
andres-erbsen
•
Draft
Pass stderr through calc_install_files when commands fail
#709
opened Aug 22, 2023 by
JasonGross
Loading…
Add minimal example demonstrating -fno-strict-aliasing
#630
opened Oct 22, 2022 by
andres-erbsen
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.