-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Feat: Rust operators and immutable collections
#5081
by MikaelMayer
was merged Apr 26, 2024
Loading…
feat: Add general
is
support, and allow newtypes for bool/char/bv
#5061
by RustanLeino
was merged Feb 21, 2024
Loading…
Feat: Dafny-to-Rust code indentation and identifiers
#4974
by MikaelMayer
was merged Feb 7, 2024
Loading…
Separate UI code and business logic for the resolve and verify commands
#4798
by keyboardDrummer
was merged Jan 23, 2024
Loading…
Feat: Default function opacity setting + autoreveal option
#4342
by EkanshdeepGupta
was merged Aug 30, 2023
Loading…
Add project files with includes/excludes and options support
#3851
by keyboardDrummer
was merged Apr 14, 2023
Loading…
Creating a dafny doc tool
run-deep-tests
Tells CI to run all tests
#3849
by davidcok
was merged May 31, 2023
Loading…
feat: Compiler optimization: Omit wrappers around single other type
#3056
by RustanLeino
was merged Dec 7, 2022
Loading…
Documentation of Dafny + X integration for Java and C#
#3025
by davidcok
was merged Nov 17, 2022
Loading…
feat: Unicode strings (--unicode-char)
run-deep-tests
Tells CI to run all tests
#3016
by robin-aws
was merged Nov 24, 2022
Loading…
Enable passing program arguments when using the new CLI format
#2823
by keyboardDrummer
was merged Oct 19, 2022
Loading…
Use native byte/char arrays in Go
area: performance
Performance issues
#2818
by RustanLeino
was merged Jan 25, 2023
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.