Skip to content

Pull requests: dafny-lang/dafny

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

Rename the hidden option --show-inference to --show-hints
#5303 by keyboardDrummer was merged Apr 9, 2024 Loading…
1
Deprecate unicode-char
#5302 by keyboardDrummer was merged Apr 19, 2024 Loading…
23
Rename --coverage-report to --expected-coverage-report
#5301 by keyboardDrummer was merged Apr 9, 2024 Loading…
Update tests that use --progress, so they are stable
#5300 by keyboardDrummer was merged Apr 5, 2024 Loading…
2
Resolve a concurrency bug that could cause the IDE server not to send updates for a particular version
#5299 by keyboardDrummer was merged Apr 5, 2024 Loading…
3
Allow using project files together with --library
#5297 by keyboardDrummer was merged Apr 29, 2024 Loading…
3
Chore: Move tests in the correct directory
#5290 by MikaelMayer was merged Apr 11, 2024 Loading…
Fix oopsie in TestNotificationReceiver
#5289 by keyboardDrummer was merged Apr 3, 2024 Loading…
fix: Invalid Python code for nested set and map comprehensions
#5287 by fabiomadge was merged Apr 2, 2024 Loading…
1
PR for debugging tests, do not merge
#5284 by keyboardDrummer was closed Apr 5, 2024 • Draft
Provide more information when waiting for notification times out
#5282 by keyboardDrummer was merged Apr 1, 2024 Loading…
Out of resources error reporting
#5281 by keyboardDrummer was merged Apr 2, 2024 Loading…
6
chore(deps): bump actions/configure-pages from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#5280 by dependabot bot was merged Apr 2, 2024 Loading…
Check datatype constructors for bad type-parameter instantiations
#5278 by RustanLeino was merged Apr 2, 2024 Loading…
1
Chore: Work to enable merge queues
#5277 by MikaelMayer was merged Apr 1, 2024 Loading…
1
Fix 2026 test run-deep-tests Tells CI to run all tests
#5276 by keyboardDrummer was closed Mar 28, 2024 Loading…
1
Fix deep tests path missing run-deep-tests Tells CI to run all tests
#5275 by MikaelMayer was merged Mar 29, 2024 Loading…
Chore: Fixed broken URL
#5271 by MikaelMayer was merged Mar 29, 2024 Loading…
Documentation snapshot for v4.6.0
#5269 by robin-aws was closed Mar 28, 2024 Loading…
Release 4.6.0
#5268 by robin-aws was merged May 1, 2024 Loading…
Remove paths in test that were causing the Windows build to fail run-deep-tests Tells CI to run all tests
#5266 by keyboardDrummer was merged Mar 28, 2024 Loading…
1
Fix: Enhanced "insufficient reads clause to read field"
#5265 by MikaelMayer was merged Mar 29, 2024 Loading…
1
3
Make --filter-* work with measure-complexity
#5264 by atomb was merged Apr 17, 2024 Loading…
2
chore: Prep for 4.6.0
#5263 by robin-aws was merged Mar 27, 2024 Loading…
2
Chore: Explain difference between bounds and indices in the documentation
#5260 by MikaelMayer was merged Mar 28, 2024 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.