-
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
Chore: Using instantiated type for coercion
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5511
by MikaelMayer
was merged Jun 7, 2024
Loading…
Fix: Optional pre-type won't cause a crash anymore
#5442
by MikaelMayer
was merged May 17, 2024
Loading…
Fix: Support for user-defined module fmt for all compilers
#5441
by MikaelMayer
was merged May 17, 2024
Loading…
Fix: No new resolver crash with partially resolved datatype update expressions
#5440
by MikaelMayer
was merged Jun 14, 2024
Loading…
Feat rust operators
run-deep-tests
Tells CI to run all tests
#5380
by MikaelMayer
was merged Apr 29, 2024
Loading…
Fix: Standard libraries compatibility with general newtypes
#5347
by MikaelMayer
was merged Apr 30, 2024
Loading…
Fix deep tests path missing
run-deep-tests
Tells CI to run all tests
#5275
by MikaelMayer
was merged Mar 29, 2024
Loading…
Fix: Enhanced "insufficient reads clause to read field"
#5265
by MikaelMayer
was merged Mar 29, 2024
Loading…
Chore: Explain difference between bounds and indices in the documentation
#5260
by MikaelMayer
was merged Mar 28, 2024
Loading…
Chore: More precise documentation about export set names
#5230
by MikaelMayer
was merged Mar 29, 2024
Loading…
Fix: (soundness issue) Twostate predicate now check if their not new arguments are allocated in the previous heap
#5142
by MikaelMayer
was merged Mar 21, 2024
Loading…
Feat: Rust operators and immutable collections
#5081
by MikaelMayer
was merged Apr 26, 2024
Loading…
Fix: Ability to provide newtype for sequence comprehension length
#5066
by MikaelMayer
was merged Feb 7, 2024
Loading…
Chore: Fine-tuning verification and compilation performance
#5028
opened Jan 30, 2024 by
MikaelMayer
Loading…
Test: Compiled variable names without integer prefixes
#5022
by MikaelMayer
was closed Feb 16, 2024
•
Draft
Feat: Dafny-to-Rust code indentation and identifiers
#4974
by MikaelMayer
was merged Feb 7, 2024
Loading…
Fix: Formatting on the command line works again
#4950
by MikaelMayer
was merged Jan 8, 2024
Loading…
ProTip!
Adding no:label will show everything without a label.