Skip to content

Dafny 3.7.1
Compare
Choose a tag to compare
@github-actions github-actions released this 21 Jun 21:57
· 1861 commits to master since this release
v3.7.1
41e2d16
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.

fix: The Dafny runtime library for C# is now compatible with .NET Standard 2.1, as it was before 3.7.0. Its version has been updated to 1.2.0 to reflect this. (#2277)

Assets 8
Loading
0 Join discussion