Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
38 Open 533 Closed
38 Open 533 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 refer to auditor code when building a Dafny library
#5329 by keyboardDrummer was merged Apr 24, 2024 Loading…
1
17
Various project file related fixes
#5326 by keyboardDrummer was merged Apr 17, 2024 Loading…
Stop reusing solvers with the IDE by default
#5325 by keyboardDrummer was merged Apr 17, 2024 Loading…
3
Prevent incorrect internal error message
#5320 by keyboardDrummer was merged Apr 16, 2024 Loading…
2
3
Add retries to NoExtraThreadAfterEachChange
#5318 by keyboardDrummer was merged Apr 12, 2024 Loading…
1
2
Warn when using non doo file as a library
#5313 by keyboardDrummer was merged Apr 11, 2024 Loading…
6
Resolve concurrency bug in TestNotificationReceiver, improving test stability
#5310 by keyboardDrummer was merged Apr 11, 2024 Loading…
2
12
Remove branches part from merge_group GH actions configuration
#5308 by keyboardDrummer was merged Apr 9, 2024 Loading…
Fix incorrect missing {:axiom} warning message
#5307 by keyboardDrummer was merged Apr 9, 2024 Loading…
1
4
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
Fix oopsie in TestNotificationReceiver
#5289 by keyboardDrummer was merged Apr 3, 2024 Loading…
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
Fix 2026 test run-deep-tests Tells CI to run all tests
#5276 by keyboardDrummer was closed Mar 28, 2024 Loading…
1
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
Migrate almost all CLI tests to use the command based CLI
#5255 by keyboardDrummer was merged Apr 3, 2024 Loading…
9
Add deprecation warning for old CLI
#5249 by keyboardDrummer was merged Apr 10, 2024 Loading…
2
Fix a soundness issue that could be triggered by calling ensures fres…
#5248 by keyboardDrummer was merged Mar 27, 2024 Loading…
1
4
Isolate assertions attribute
#5247 by keyboardDrummer was merged Mar 27, 2024 Loading…
9
ProTip! Adding no:label will show everything without a label.