-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Speed up
dafny verify
by reducing memory pressure
#5827
opened Oct 11, 2024 by
keyboardDrummer
Loading…
Fix GoLang issue when module and datatype names collide
#5824
opened Oct 10, 2024 by
keyboardDrummer
Loading…
Fix GoLang issue when module and datatype names collide
#5820
opened Oct 9, 2024 by
keyboardDrummer
•
Draft
fix: Frame and termination checks are now subject to by-proofs of method calls
#5735
opened Aug 29, 2024 by
fabiomadge
Loading…
When using splits, delete assertions that were generated and would otherwise be converted to assume commands
#5721
opened Aug 26, 2024 by
keyboardDrummer
Loading…
(Ugly version) Improve function ensures clause error reporting
#5680
opened Aug 12, 2024 by
keyboardDrummer
•
Draft
Resolved a crash that would occur when using a match statement inside…
#5672
opened Aug 7, 2024 by
keyboardDrummer
Loading…
Update quick reference to show post-4.0 function syntax
#5649
opened Jul 26, 2024 by
fusate
Loading…
Allow adding --enforce-determinism even when doing resolve
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5634
opened Jul 18, 2024 by
keyboardDrummer
Loading…
Macos13and updated boogie
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5600
opened Jul 4, 2024 by
keyboardDrummer
Loading…
Try to save /tmp/MSBuildTemprunner/ logs
run-deep-tests
Tells CI to run all tests
#5516
opened Jun 3, 2024 by
keyboardDrummer
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.