-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Stop reusing solvers with the IDE by default
#5325
by keyboardDrummer
was merged Apr 17, 2024
Loading…
Add retries to NoExtraThreadAfterEachChange
#5318
by keyboardDrummer
was merged Apr 12, 2024
Loading…
Resolve concurrency bug in TestNotificationReceiver, improving test stability
#5310
by keyboardDrummer
was merged Apr 11, 2024
Loading…
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…
Rename the hidden option --show-inference to --show-hints
#5303
by keyboardDrummer
was merged Apr 9, 2024
Loading…
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…
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…
Allow using project files together with --library
#5297
by keyboardDrummer
was merged Apr 29, 2024
Loading…
Provide more information when waiting for notification times out
#5282
by keyboardDrummer
was merged Apr 1, 2024
Loading…
Fix 2026 test
run-deep-tests
Tells CI to run all tests
#5276
by keyboardDrummer
was closed Mar 28, 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…
Migrate almost all CLI tests to use the command based CLI
#5255
by keyboardDrummer
was merged Apr 3, 2024
Loading…
Fix a soundness issue that could be triggered by calling ensures fres…
#5248
by keyboardDrummer
was merged Mar 27, 2024
Loading…
Deduplicate verification diagnostic reporting between CLI and server
#5246
opened Mar 25, 2024 by
keyboardDrummer
Loading…
Introduce generic mechanism for combining state from multiple compilations
makes-mikael-grateful
This issue, is fixed, would make Mikael Mayer grateful
#5243
by keyboardDrummer
was merged Mar 25, 2024
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.