Skip to content

Dafny 3.3.0 pre-release 0

Pre-release
Pre-release
Compare
Choose a tag to compare
@robin-aws robin-aws released this 20 Oct 23:05
· 2165 commits to master since this release
v3.3.0-prerelease0
fe37a19
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 is a pre-release of Dafny 3.3.0. Release notes are in development and may be included in subsequent pre-releases, and will at least be attached to the full 3.3.0 release.

Assets 8
Loading