-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
:extern copy from trait method to class method and /attrHelp
#237
by mschlaipfer
was merged May 29, 2019
Loading…
Fixed duplicate parameter name error in example
#233
by mschlaipfer
was merged May 23, 2019
Loading…
Inline let-expressions before collecting quantifiers for trigger selection
#171
by jamesbornholt
was merged Feb 1, 2018
Loading…
Check type parameters when checking if types are equal
#162
by jamesbornholt
was merged Jan 16, 2018
Loading…
Fixes for quantifiers + let-such-that expressions
#170
by jamesbornholt
was merged Feb 1, 2018
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.