-
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
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…
improved subset type errors, export set name space, cloning bug fix
#269
by RustanLeino
was merged Jun 17, 2019
Loading…
Axiomatization of SeqFromArray, HeapSucc, and frame condition
#268
by mschlaipfer
was merged Jun 16, 2019
Loading…
Unix path separator in 'otherFilenames' not passed on
#264
by mschlaipfer
was merged Jun 16, 2019
Loading…
Mul associativity axiom: add a guard to prevent matching loop
#253
by mschlaipfer
was merged Jun 7, 2019
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.