Skip to content

Pull requests: dafny-lang/dafny

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
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…
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
Remove pre-commit as a dependency
#1494 opened Oct 6, 2021 by fabiomadge Loading…
[do not merge] Exceptions2 status: implemented Candidate feature available for experimentation
#361 opened Aug 22, 2019 by samuelgruetter Draft
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…
Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
feat: Add axioms to simplify s[..|s|-1] part: verifier Translation from Dafny to Boogie (translator)
#1907 opened Mar 15, 2022 by cpitclaudel Draft
Add support for Java mocking
#2024 opened Apr 15, 2022 by cassidywaldrip Loading…
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
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer Draft
Blind callables
#5562 opened Jun 15, 2024 by keyboardDrummer Draft
ProTip! Add no:assignee to see everything that’s not assigned.