-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Reduce spaces before printing "special witness" comment for /rprint
#341
by RustanLeino
was merged Aug 7, 2019
Loading…
Try to treat general map comprehension as the common case
#340
by RustanLeino
was merged Aug 6, 2019
Loading…
v2: Take compile flag into consideration and return appropriate exit code
#337
by samuelgruetter
was merged Aug 6, 2019
Loading…
Take compile flag into consideration and return appropriate exit code
#307
by phoenix1712
was merged Aug 6, 2019
Loading…
allow dafny to be invoked from a MINGW/"Git Bash" shell
#302
by samuelgruetter
was merged Aug 7, 2019
Loading…
Added error reporting when a const is mentioned in frame condition
#291
by mschlaipfer
was merged Jul 8, 2019
Loading…
Don't compile extern fields, allow extern fields without RHSs
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
#285
by RustanLeino
was merged Jul 2, 2019
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.