Skip to content

Pull requests: dafny-lang/dafny

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

Pull requests list

Try building with .NET 8.0
#5322 opened Apr 15, 2024 by atomb Draft
Module-level options
#4598 opened Sep 29, 2023 by zafer-esen Draft
Add script to run Boogie with the args Dafny uses run-deep-tests Tells CI to run all tests
#4492 opened Aug 30, 2023 by atomb Loading…
ProTip! Updated in the last three days: updated:>2024-06-14.