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

Remove pre-commit as a dependency
#1494 opened Oct 6, 2021 by fabiomadge Loading…
2
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
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
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
feat: Parameterized Tests with Method Source in C#/Java
#1976 opened Apr 6, 2022 by tbean79 Loading…
4
Use multiple cores when running individual tests
#1929 opened Mar 23, 2022 by keyboardDrummer • Draft
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
docs: Completed (and corrected) IteratorSpec section
#1842 opened Feb 19, 2022 by robin-aws Loading…
@robin-aws
2
Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
1
fix(lsp): Do not mark the bodies of lemmas as ghost.
#1830 opened Feb 16, 2022 by camrein Loading…
1
4
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
feat: Add customized folding ranges to the dafny document
#1549 opened Oct 29, 2021 by camrein • Draft
1
2
Blind callables
#5562 opened Jun 15, 2024 by keyboardDrummer • Draft
No independent consistency hiding
#1474 opened Sep 30, 2021 by keyboardDrummer • Draft
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
Remove preconditions from axioms [not yet ready for review]
#1400 opened Aug 27, 2021 by typerSniper Loading…
2
Make singleton datatypes more efficient in Go
#1394 opened Aug 27, 2021 by tchajed Loading…
1
2
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
Derive property of type access
#1300 opened Jul 13, 2021 by keyboardDrummer • Draft
usecancall only [not checked locally, don't review]
#1262 opened Jun 28, 2021 by typerSniper Loading…
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591 opened Apr 11, 2020 by lemmy Loading…
32
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
Changing representation of Reads, Requires, and Apply clauses status: implemented Candidate feature available for experimentation
#375 opened Sep 5, 2019 by amaurremi Loading…
9
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
ProTip! Follow long discussions with comments:>50.