-
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
Doc and Grammar review: statements, expressions; Issue 1053
#1052
by davidcok
was merged Jan 19, 2021
Loading…
#864: Corrected refinement of traits and classes to include the extends list
#976
by davidcok
was merged Dec 18, 2020
Loading…
#181: Documenting type parameter modes and fixing the check of !new
#941
by davidcok
was merged Dec 2, 2020
Loading…
#799: Refactored code to remove deprecated features
#813
by davidcok
was merged Aug 22, 2020
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.