-
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
Chore: Generated Id are now declaration-specific
#5669
opened Aug 6, 2024 by
MikaelMayer
Loading…
updated Aug 7, 2024
Enable the option enforce determinism for the verify command
#5632
opened Jul 18, 2024 by
keyboardDrummer
Loading…
updated Aug 7, 2024
Resolved a crash that would occur when using a match statement inside…
#5672
opened Aug 7, 2024 by
keyboardDrummer
Loading…
updated Aug 7, 2024
Fix: Support for enumerating datatypes in the Rust backend
#5670
opened Aug 6, 2024 by
MikaelMayer
Loading…
updated Aug 6, 2024
feat: Method calls with a by-proof
#5662
opened Aug 1, 2024 by
fabiomadge
•
Draft
updated Aug 6, 2024
Fix: Tail-Recursion for the Dafny-to-Rust compiler
#5668
opened Aug 6, 2024 by
MikaelMayer
Loading…
updated Aug 6, 2024
Fix: Support for double constant initialization in Dafny-to-Rust
#5667
opened Aug 5, 2024 by
MikaelMayer
Loading…
updated Aug 5, 2024
Use refresh resolver by default
#5653
opened Jul 30, 2024 by
RustanLeino
•
Draft
updated Jul 30, 2024
Update quick reference to show post-4.0 function syntax
#5649
opened Jul 26, 2024 by
fusate
Loading…
updated Jul 26, 2024
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…
updated Jul 18, 2024
feat: Allow type parameters on newtypes
#5495
opened May 28, 2024 by
RustanLeino
Loading…
updated Jul 10, 2024
2
Fix: Modifies clauses with set operations can now be proven
need-check-proof-variability
#3336
opened Jan 6, 2023 by
MikaelMayer
Loading…
updated Jul 5, 2024
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…
updated Jul 4, 2024
[Draft] NET/Java library prefixes
#5593
opened Jul 2, 2024 by
lucasmcdonald3
•
Draft
updated Jul 3, 2024
Make the new type system the default
#5583
opened Jun 27, 2024 by
keyboardDrummer
•
Draft
updated Jun 28, 2024
fix: Ignore values not in a multiset when computing its hash in C#
run-deep-tests
Tells CI to run all tests
#5497
opened May 28, 2024 by
fabiomadge
Loading…
updated Jun 23, 2024
Assign-such-that documentation
#5494
opened May 28, 2024 by
stefan-aws
Loading…
updated Jun 17, 2024
fix: Disambiguation priority not preserved when importing modules
#5498
opened May 28, 2024 by
stefan-aws
•
Draft
updated Jun 17, 2024
Try to save /tmp/MSBuildTemprunner/ logs
run-deep-tests
Tells CI to run all tests
#5516
opened Jun 3, 2024 by
keyboardDrummer
Loading…
updated Jun 3, 2024
Catch crash on reads with different datatype ordering
#5496
opened May 28, 2024 by
stefan-aws
Loading…
updated May 30, 2024
ci: Migrate off macos-11
run-deep-tests
Tells CI to run all tests
#5500
opened May 28, 2024 by
robin-aws
Loading…
updated May 29, 2024
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.