Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
1 Open 55 Closed
1 Open 55 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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…
56
Ordered, nested matching of datatypes and constants
#458 by osavaryb was merged Apr 7, 2020 Loading…
112
chore: xUnit-based lit test runner
#680 by robin-aws was merged Oct 21, 2021 Loading…
76
#276: Implement constant propagation for symbolic names and basic operations, with cyclicity checking
#775 by davidcok was merged Oct 6, 2020 Loading…
1
96
Documentation: Edits to document :- statements
#840 by davidcok was merged Oct 17, 2020 Loading…
100
Support tuples with ghost components
#1269 by fpoli was merged Aug 3, 2021 Loading…
112
Test Generation
#1385 by Dargones was merged Sep 3, 2021 Loading…
72
fix: Set/forall comprehensions with subtyping for issue #697
#1522 by MikaelMayer was merged Dec 2, 2021 Loading…
1
51
feat: Variance on datatypes for C#
#1578 by fabiomadge was merged Dec 13, 2021 Loading…
1
@fabiomadge
61
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…
2
@MikaelMayer @robin-aws
51
feat: Provide formals and declarations type highlighting.
#1630 by MikaelMayer was merged Dec 20, 2021 Loading…
@MikaelMayer
112
Separate resolution and verification diagnostics
#1666 by keyboardDrummer was merged Jan 4, 2022 Loading…
@keyboardDrummer
54
fix(lsp): Don't get stuck when onsave verification is cancelled
#1652 by atomb was merged Dec 29, 2021 Loading…
@atomb
60
fix(lsp): kill language server if parent process dies
#1664 by keyboardDrummer was merged Dec 28, 2021 Loading…
1
73
feat: Plugin support
#1739 by MikaelMayer was merged Feb 11, 2022 Loading…
@MikaelMayer
134
Support for Mocking in C# Compiler
#1809 by Dargones was merged Mar 28, 2022 Loading…
82
feat: Trivia stored in the AST
#1801 by MikaelMayer was merged Jul 19, 2022 Loading…
1
@MikaelMayer
68
chore: {:focus} and {:split-here} doc and Verification debugging techniques
#1884 by MikaelMayer was merged Mar 18, 2022 Loading…
@MikaelMayer
174
Add structured proof obligation descriptions
#1915 by atomb was merged Apr 1, 2022 Loading…
@atomb
72
feat: Verification diagnostics
#1923 by MikaelMayer was closed Mar 29, 2022 Loading…
1
@MikaelMayer
71
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…
1
@MikaelMayer
128
Arrays for Python compiler
#2030 by prvshah51 was merged May 3, 2022 Loading…
@prvshah51
66
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…
@MikaelMayer
101
Publish verification status notifications
#2094 by keyboardDrummer was merged May 27, 2022 Loading…
@keyboardDrummer
68
Add Run and cancel API
#2215 by keyboardDrummer was merged Jun 16, 2022 Loading…
2
@keyboardDrummer
59
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.