Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
92 Open 1,052 Closed
92 Open 1,052 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

ci: Align mostly on macos-11 run-deep-tests Tells CI to run all tests
#5531 by robin-aws was closed Jun 6, 2024 Loading…
1
Do not flatten matches for C# run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5509 by keyboardDrummer was closed Jun 5, 2024 Loading…
1
chore: remove byte-order mark from test files
#5507 by alex-chew was closed Jun 3, 2024 Loading…
1
Report configured instead of actual runtime after a timeout.
#5392 by keyboardDrummer was closed May 3, 2024 Loading…
Chore rust operators followup
#5373 by MikaelMayer was closed May 4, 2024 Loading…
1
Module options
#5338 by keyboardDrummer was closed May 3, 2024 • Draft
PR for debugging tests, do not merge
#5284 by keyboardDrummer was closed Apr 5, 2024 • Draft
Simplify staticDiagnostics field in preparation for phase addition
#5240 by keyboardDrummer was closed Mar 22, 2024 • Draft
Error message on exception during verification
#5157 by atomb was closed Mar 7, 2024 • Draft
1
1
Adds support for Go module name
#5128 by ShubhamChaturvedi7 was closed Mar 8, 2024 • Draft
6
Compute prefix lemmas earlier in the resolution pipeline
#5098 by RustanLeino was closed Mar 27, 2024 • Draft
1
Consider all errors reported in exit code
#5072 by atomb was closed Feb 9, 2024 Loading…
2
Add replaceable compiler methods
#5053 by RustanLeino was closed Feb 21, 2024 Loading…
6
Update pre-type infrastructure
#5051 by RustanLeino was closed Feb 21, 2024 Loading…
3
Test: Compiled variable names without integer prefixes
#5022 by MikaelMayer was closed Feb 16, 2024 • Draft
Debug merged cli and server
#4992 by keyboardDrummer was closed Jan 23, 2024 • Draft
Lsp test failure debugging
#4966 by atomb was closed Apr 19, 2024 • Draft
1
Add validators for file argument, to prevent them being interpreted a…
#4914 by keyboardDrummer was closed Mar 12, 2024 • Draft
Revert "Optimize uses clauses (#4428)"
#4908 by atomb was closed Apr 23, 2024 • Draft
@atomb
1
chore(deps): bump actions/download-artifact from 3 to 4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#4900 by dependabot bot was closed Jan 21, 2024 Loading…
4
Update FormatCommand's --print suggestion
#4897 by racko was closed Feb 2, 2024 Loading…
1
1
DRAFT -- Stdlib: Strings
#4751 by stefan-aws was closed Nov 8, 2023 Loading…
DRAFT -- Stdlib: MutableCollections
#4750 by stefan-aws was closed Nov 8, 2023 Loading…
Enable traits in the Rust backend
#4744 by shadaj was closed Nov 6, 2023 Loading…
1
Catch copy error run-deep-tests Tells CI to run all tests
#4739 by keyboardDrummer was closed Dec 1, 2023 Loading…
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.