github dafny-lang/dafny v3.0.0-pre-release-1
Dafny 3.0.0 pre-release 1

latest releases: nightly, v4.7.0, v4.6.0...
3 years ago

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

Don't miss a new dafny release

NewReleases is sending notifications on new releases.