-
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
fix: Better error reporting for type mismatch
#1650
by MikaelMayer
was merged Dec 16, 2021
Loading…
updated Dec 17, 2021
feat: Provide formals and declarations type highlighting.
#1630
by MikaelMayer
was merged Dec 20, 2021
Loading…
updated Dec 20, 2021
chore: Documentation about array initialization
part: documentation
Dafny's reference manual, tutorial, and other materials
#1661
by MikaelMayer
was merged Dec 21, 2021
Loading…
updated Dec 21, 2021
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…
updated Dec 28, 2021
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…
updated Jan 7, 2022
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…
updated Jan 10, 2022
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…
updated Jan 11, 2022
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…
updated Jan 13, 2022
Remove ambiguity when displaying types
#1701
by MikaelMayer
was merged Jan 13, 2022
Loading…
updated Jan 13, 2022
Parser exception recovery for Language Server
#1694
by MikaelMayer
was merged Jan 13, 2022
Loading…
updated Jan 13, 2022
First refactoring to discharge a bit the Resolver.
part: resolver
Resolution and typechecking
#1711
by MikaelMayer
was merged Jan 20, 2022
Loading…
updated Jan 20, 2022
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…
updated Jan 25, 2022
fix: Meaningful nested tokens for quantifier splitting.
#1765
by MikaelMayer
was merged Jan 27, 2022
Loading…
updated Jan 27, 2022
fix: NullPointerException in SkeletonStatement
#1805
by MikaelMayer
was merged Feb 9, 2022
Loading…
updated Feb 9, 2022
Fix: Output in JavaScript not consistent
#1824
by MikaelMayer
was merged Feb 17, 2022
Loading…
updated Feb 17, 2022
chore: Fixing opaque documentation
part: documentation
Dafny's reference manual, tutorial, and other materials
#1821
by MikaelMayer
was merged Feb 17, 2022
Loading…
updated Feb 17, 2022
chore: Try to download Z3 5 times instead of just once
#1835
by MikaelMayer
was merged Feb 17, 2022
Loading…
updated Feb 18, 2022
fix: File contains no code even when there is code in prefixed modules
#1840
by MikaelMayer
was merged Feb 21, 2022
Loading…
updated Feb 21, 2022
Fix: Lower C# runtime version to 7.3
#1877
by MikaelMayer
was merged Mar 1, 2022
Loading…
updated Mar 1, 2022
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…
updated Mar 3, 2022
chore: Make favicon to appear
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: documentation
Dafny's reference manual, tutorial, and other materials
#1883
by MikaelMayer
was merged Mar 3, 2022
Loading…
updated Mar 3, 2022
fix: "Stuck on Verifying..."
#1771
by MikaelMayer
was merged Mar 4, 2022
Loading…
updated Mar 4, 2022
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.