Skip to content

Dafny 3.0.0 pre-release 1
Compare
Choose a tag to compare
@RustanLeino RustanLeino released this 21 Aug 02:11
· 2436 commits to master since this release
v3.0.0-pre-release-1
69301ca
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This version fixes some pre-release 0 issues with invoking the C# compiler on some platforms.

In addition, it has the following change from pre-release 0:

  • Breaking change: Don't allow the use of bitvectors to state the desired length in array allocation and sequence construction
  • Allow bitvectors as indices in single-dimensional arrays and sequences (just like they already were allowed for multi-dimensional arrays)

For the long list of other changes since version 2.3.0, see the 3.0.0 pre-release 0 release notes

Assets 7
Loading