-
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
chore: Re-enable publishing nightly builds to Nuget
#2379
by robin-aws
was merged Jul 8, 2022
Loading…
Feat: 10 more implicit assertions made explicit
#3940
by MikaelMayer
was merged May 8, 2023
Loading…
feat: Consistent "create_<ctorname>" method for record types
#3034
by robin-aws
was merged Feb 21, 2023
Loading…
Language Server: Load documents on a dedicated thread
#1449
by camrein
was merged Sep 21, 2021
Loading…
Check type parameters when checking if types are equal
#162
by jamesbornholt
was merged Jan 16, 2018
Loading…
Inline let-expressions before collecting quantifiers for trigger selection
#171
by jamesbornholt
was merged Feb 1, 2018
Loading…
fix #185 binary path search to address on the error when executing through symlink
#186
by HuStmpHrrr
was merged Mar 14, 2018
Loading…
Fixed duplicate parameter name error in example
#233
by mschlaipfer
was merged May 23, 2019
Loading…
:extern copy from trait method to class method and /attrHelp
#237
by mschlaipfer
was merged May 29, 2019
Loading…
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.