Skip to content

Dafny 3.7.3

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Jul 22:18
· 1953 commits to master since this release
v3.7.3
bb24aee
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • feat: Less code navigation when verifying code: In the IDE, failing postconditions and preconditions error messages now immediately display the sub-conditions that Dafny could not prove. Both on hover and in the Problems window. (#2434)
  • feat: Whitespaces and comments are kept in relevant parts of the AST (#1801)
  • fix: NuGet packages no longer depend on specific patch releases of the .NET frameworks.
Assets 8
Loading
0 Join discussion