-
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
allow dafny to be invoked from a MINGW/"Git Bash" shell
#302
by samuelgruetter
was merged Aug 7, 2019
Loading…
[do not merge] Exceptions2
status: implemented
Candidate feature available for experimentation
#361
opened Aug 22, 2019 by
samuelgruetter
•
Draft
Make
{: one token instead of two for annotations
#360
by samuelgruetter
was merged Aug 22, 2019
Loading…
use platform.system() instead of os.name to detect whether to use mono
#345
by samuelgruetter
was merged Aug 12, 2019
Loading…
v2: Take compile flag into consideration and return appropriate exit code
#337
by samuelgruetter
was merged Aug 6, 2019
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.