-
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
Improve stability of RedundantAssumptionsGetWarnings
#5457
by keyboardDrummer
was merged May 23, 2024
Loading…
Attempt to fix the stability of DocumentAddedToExistingProjectDoesNotCrash
#5456
by keyboardDrummer
was merged May 17, 2024
Loading…
Do not let 'null' children slip into the AST
#5446
by keyboardDrummer
was merged May 30, 2024
Loading…
Turn on more logging for
ProjectFileDoesNotOwnAllSourceFilesItUses
#5445
by keyboardDrummer
was merged May 15, 2024
Loading…
Fix bugs that could lead to an unresponsive IDE when working with project files
#5444
by keyboardDrummer
was merged May 19, 2024
Loading…
Clear diagnostics when closing documents in projects
#5437
by keyboardDrummer
was merged May 15, 2024
Loading…
Do not allow building libraries while silently not verifing included files
#5406
opened May 6, 2024 by
keyboardDrummer
Loading…
Report configured instead of actual runtime after a timeout.
#5392
by keyboardDrummer
was closed May 3, 2024
Loading…
Fix a bug in AwaitNextNotificationAsync that prevented the 'Waited fo…
#5386
by keyboardDrummer
was merged May 2, 2024
Loading…
Remove 'note,' at the start of some warnings
#5378
by keyboardDrummer
was merged Apr 30, 2024
Loading…
Revert "Feat: Rust operators and immutable collections (#5081)"
run-deep-tests
Tells CI to run all tests
#5377
by keyboardDrummer
was merged Apr 29, 2024
Loading…
Revert "Retry LSP tests in case of error (#5342)"
#5361
by keyboardDrummer
was merged Apr 30, 2024
Loading…
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…
ProTip!
Updated in the last three days: updated:>2024-07-08.