-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Do-notation desugaring to monadic Bind
status: implemented
Candidate feature available for experimentation
#455
by osavaryb
was closed Jan 27, 2021
Loading…
Ordered, nested matching of datatypes and constants
#458
by osavaryb
was merged Apr 7, 2020
Loading…
#276: Implement constant propagation for symbolic names and basic operations, with cyclicity checking
#775
by davidcok
was merged Oct 6, 2020
Loading…
fix: Set/forall comprehensions with subtyping for issue #697
#1522
by MikaelMayer
was merged Dec 2, 2021
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…
feat: Provide formals and declarations type highlighting.
#1630
by MikaelMayer
was merged Dec 20, 2021
Loading…
Separate resolution and verification diagnostics
#1666
by keyboardDrummer
was merged Jan 4, 2022
Loading…
fix(lsp): Don't get stuck when onsave verification is cancelled
#1652
by atomb
was merged Dec 29, 2021
Loading…
fix(lsp): kill language server if parent process dies
#1664
by keyboardDrummer
was merged Dec 28, 2021
Loading…
chore: {:focus} and {:split-here} doc and Verification debugging techniques
#1884
by MikaelMayer
was merged Mar 18, 2022
Loading…
feat: Verification diagnostics (core version)
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
#1942
by MikaelMayer
was merged May 11, 2022
Loading…
Feat: Code action support
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
#2021
by MikaelMayer
was merged Aug 26, 2022
Loading…
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.