-
Notifications
You must be signed in to change notification settings - Fork 257
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Deduplicate verification diagnostic reporting between CLI and server
#5246
opened Mar 25, 2024 by
keyboardDrummer
Loading…
Chore: Fine-tuning verification and compilation performance
#5028
opened Jan 30, 2024 by
MikaelMayer
Loading…
fix: Don’t flag extern functions with {:axiom} as assumptions
#4979
opened Jan 12, 2024 by
robin-aws
Loading…
Add GoLang to the replaceable complex test case
#4856
opened Dec 8, 2023 by
keyboardDrummer
Loading…
ProTip!
Filter pull requests by the default branch with base:master.