Dafny 4.0.0
·
1013 commits
to master
since this release
Breaking changes
Remove deprecated countVerificationErrors option (#3165)
The default version of Z3 Dafny uses for verification is now 4.12.1. (#3400)
The default values of several options has changed in Dafny 4.0. See --help for details.
--function-syntax changed from 3 to 4
--quantifier-syntax changed from 3 to 4
--unicode-char changed from false to true (#3623)
The default value of the /allocated option is now 4, and the option itself is deprecated. (#3637)
Compilation to Go no longer attempts to use the Dafny string type and the Go string type interchangably when calling external methods (which was buggy and unsound). (#3647)