-
Notifications
You must be signed in to change notification settings - Fork 257
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add support for base field in project files
#5359
by keyboardDrummer
was merged May 1, 2024
Loading…
Build against a newer GoLang
run-deep-tests
Tells CI to run all tests
#5350
by keyboardDrummer
was merged Apr 24, 2024
Loading…
Fix: Standard libraries compatibility with general newtypes
#5347
by MikaelMayer
was merged Apr 30, 2024
Loading…
Test ResolutionErrors[45679] with new resolver
#5333
by RustanLeino
was merged Apr 21, 2024
Loading…
Do not refer to auditor code when building a Dafny library
#5329
by keyboardDrummer
was merged Apr 24, 2024
Loading…
Stop reusing solvers with the IDE by default
#5325
by keyboardDrummer
was merged Apr 17, 2024
Loading…
Test ResolutionErrors[01238] with new resolver
#5324
by RustanLeino
was merged Apr 16, 2024
Loading…
Add retries to NoExtraThreadAfterEachChange
#5318
by keyboardDrummer
was merged Apr 12, 2024
Loading…
Add first pass of proof obligation description expressions
#5317
by alex-chew
was merged Apr 20, 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…
ProTip!
Filter pull requests by the default branch with base:master.