-
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: Documentation about array initialization
part: documentation
Dafny's reference manual, tutorial, and other materials
#1661
by MikaelMayer
was merged Dec 21, 2021
Loading…
Elephant operator for methods with generic return types, removed compiler-crashing default value for elephant operator
#1677
by MikaelMayer
was merged Jan 7, 2022
Loading…
NullPointerException fixed in Parser
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
part: parser
First phase of Dafny's pipeline
#1683
by MikaelMayer
was merged Jan 11, 2022
Loading…
Fixed specifications misclassified as compiled expressions
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
#1691
by MikaelMayer
was merged Jan 10, 2022
Loading…
Related locations available in Resolver and prints to Console and LSP Diagnostics
area: error-reporting
Clarity of the error reporting
#1695
by MikaelMayer
was merged Jan 12, 2022
Loading…
Clearer Dafny's error messages about arguments being wrong, not parameters
area: error-reporting
Clarity of the error reporting
#1698
by MikaelMayer
was merged Jan 13, 2022
Loading…
First refactoring to discharge a bit the Resolver.
part: resolver
Resolution and typechecking
#1711
by MikaelMayer
was merged Jan 20, 2022
Loading…
fix: Meaningful nested tokens for quantifier splitting.
#1765
by MikaelMayer
was merged Jan 27, 2022
Loading…
chore: Fixing opaque documentation
part: documentation
Dafny's reference manual, tutorial, and other materials
#1821
by MikaelMayer
was merged Feb 17, 2022
Loading…
chore: Try to download Z3 5 times instead of just once
#1835
by MikaelMayer
was merged Feb 17, 2022
Loading…
fix: File contains no code even when there is code in prefixed modules
#1840
by MikaelMayer
was merged Feb 21, 2022
Loading…
chore: Added favicon to Dafny documentation
part: documentation
Dafny's reference manual, tutorial, and other materials
#1867
by MikaelMayer
was merged Mar 2, 2022
Loading…
In-memory implementation of %diff, enable integration tests on windows
platform: windows
Windows-specific issues
#1540
by robin-aws
was merged Dec 28, 2021
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.