-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Remove preconditions from axioms [not yet ready for review]
#1400
opened Aug 27, 2021 by
typerSniper
Loading…
Use split attributes boogaloo
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: verifier
Translation from Dafny to Boogie (translator)
add can-calls to the override axiom and change the trigger.
#1335
by typerSniper
was closed Aug 28, 2021
Loading…
usecancall only [not checked locally, don't review]
#1262
opened Jun 28, 2021 by
typerSniper
Loading…
Hack for using a local version of boogie with dafny
#1247
by typerSniper
was merged Jun 21, 2021
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.