-
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
Another attempt at #3622
run-deep-tests
Tells CI to run all tests
#3638
by atomb
was merged Feb 27, 2023
Loading…
fix: Default to /unicodeChar:0 in legacy CLI as well
#3635
by robin-aws
was merged Feb 27, 2023
Loading…
Update Tells CI to run all tests
package.py
to install dual Z3 versions
run-deep-tests
#3633
by atomb
was closed Feb 24, 2023
Loading…
Allow the use of zips created by old package.py
run-deep-tests
Tells CI to run all tests
#3631
by atomb
was closed Feb 24, 2023
Loading…
feat!: Switch --function-syntax, --quantifier-syntax, and --unicode-char to Dafny 4.0 defaults
#3623
by davidcok
was merged Feb 23, 2023
Loading…
fix: dotnet test (or /runAllTests) prints incorrectly with --unicode-char
#3608
by robin-aws
was merged Feb 22, 2023
Loading…
2
Update to Boogie 2.16.3, and remove workaround code to deal with concurrency issues in Boogie.
#3586
by keyboardDrummer
was merged Mar 17, 2023
Loading…
Redoing PR3500
run-deep-tests
Tells CI to run all tests
#3555
by davidcok
was closed Apr 30, 2023
Loading…
Fix reindentation of forall statements after resolution
#3548
by MikaelMayer
was merged Feb 17, 2023
Loading…
Change order the OSes are run to put longest first
#3547
by davidcok
was merged Feb 15, 2023
Loading…
Move towards a return value based style for our code generating methods
#3546
by keyboardDrummer
was merged Feb 28, 2023
Loading…
Fixes #3267 -- improved command-line error messages
#3542
by davidcok
was merged Feb 17, 2023
Loading…
Issue#3513 -- allow value of library option to be list
#3540
by davidcok
was merged Feb 15, 2023
Loading…
Fix docs default for /normalizeNames, /errorTrace, and /emitDebugInformation
#3537
by tchajed
was closed Feb 16, 2023
Loading…
ProTip!
Filter pull requests by the default branch with base:master.