-
Notifications
You must be signed in to change notification settings - Fork 261
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix: Dafny server API for counterexamples
part: counterexamples
Counterexample generation
#5847
opened Oct 21, 2024 by
Dargones
Loading…
Feat: Auto-completion of @-attributes for the language server
#5846
opened Oct 18, 2024 by
MikaelMayer
Loading…
feat: Compute matching patterns for automatic induction
#5835
opened Oct 16, 2024 by
RustanLeino
Loading…
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…
Use CanCall everywhere
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5654
opened Jul 30, 2024 by
RustanLeino
•
Draft
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…
Use a separate dotnet process for compiling C# programs
run-deep-tests
Tells CI to run all tests
#5517
opened Jun 3, 2024 by
keyboardDrummer
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.