Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
106 Open 1,067 Closed
106 Open 1,067 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 not merge] Exceptions2 status: implemented Candidate feature available for experimentation
#361 opened Aug 22, 2019 by samuelgruetter • Draft
3
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
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
fix(lsp): Do not mark the bodies of lemmas as ghost.
#1830 opened Feb 16, 2022 by camrein Loading…
1
4
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
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
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
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
chore: Run single-platform integration tests even if nightly build failed
#2369 opened Jul 6, 2022 by robin-aws Loading…
6
chore: A crash in the resolver now reports an error to the user
#2499 opened Jul 27, 2022 by MikaelMayer Loading…
6
Bug fix for parenthesisWarning
#2544 opened Aug 3, 2022 by tobiaj10 Loading…
1
fix: Actually create the target-runtime-version matrix dimension run-deep-tests Tells CI to run all tests
#2572 opened Aug 10, 2022 by robin-aws Loading…
4
Implemented a warning to prevent varaibles and constructors from having the same name
#2580 opened Aug 11, 2022 by tobiaj10 Loading…
4
chore: Formatted every test file with the formatter
#2714 opened Sep 8, 2022 by MikaelMayer Loading…
5
Formatter pass
#2715 opened Sep 8, 2022 by MikaelMayer Loading…
26
fix: Include standard header with every unsupported feature message
#2739 opened Sep 13, 2022 by cpitclaudel Loading…
1
@robin-aws
3
ProTip! Adding no:label will show everything without a label.