Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
131 Open 2,733 Closed
131 Open 2,733 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

fix(lsp): Do not mark the bodies of lemmas as ghost.
#1830 opened Feb 16, 2022 by camrein Loading…
1
4
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591 opened Apr 11, 2020 by lemmy Loading…
32
usecancall only [not checked locally, don't review]
#1262 opened Jun 28, 2021 by typerSniper Loading…
Derive property of type access
#1300 opened Jul 13, 2021 by keyboardDrummer • Draft
Use split attributes boogaloo kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: verifier Translation from Dafny to Boogie (translator)
#1386 opened Aug 25, 2021 by typerSniper Loading… Verification Durability
Make singleton datatypes more efficient in Go
#1394 opened Aug 27, 2021 by tchajed Loading…
1
2
Remove preconditions from axioms [not yet ready for review]
#1400 opened Aug 27, 2021 by typerSniper Loading…
2
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
No independent consistency hiding
#1474 opened Sep 30, 2021 by keyboardDrummer • Draft
Remove pre-commit as a dependency
#1494 opened Oct 6, 2021 by fabiomadge Loading…
2
feat: Add customized folding ranges to the dafny document
#1549 opened Oct 29, 2021 by camrein • Draft
1
2
[do not merge] Exceptions2 status: implemented Candidate feature available for experimentation
#361 opened Aug 22, 2019 by samuelgruetter • Draft
3
feat: Subset types fully accepted in comprehensions kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag part: documentation Dafny's reference manual, tutorial, and other materials part: resolver Resolution and typechecking part: verifier Translation from Dafny to Boogie (translator)
#1702 opened Jan 11, 2022 by MikaelMayer Loading…
@MikaelMayer
151
Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
1
docs: Completed (and corrected) IteratorSpec section
#1842 opened Feb 19, 2022 by robin-aws Loading…
@robin-aws
2
feat: Add axioms to simplify s[..|s|-1] part: verifier Translation from Dafny to Boogie (translator)
#1907 opened Mar 15, 2022 by cpitclaudel • Draft
@cpitclaudel
Use multiple cores when running individual tests
#1929 opened Mar 23, 2022 by keyboardDrummer • Draft
feat: Parameterized Tests with Method Source in C#/Java
#1976 opened Apr 6, 2022 by tbean79 Loading…
4
Add support for Java mocking
#2024 opened Apr 15, 2022 by cassidywaldrip Loading…
41
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
feat: Code in ProofObligationDescriptions 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)
#2153 opened May 19, 2022 by MikaelMayer • Draft
@MikaelMayer
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
Blind callables
#5562 opened Jun 15, 2024 by keyboardDrummer • Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.