Skip to content

Dafny 3.4.1

Choose a tag to compare

View all tags
@fabiomadge fabiomadge released this 15 Feb 10:37
· 2215 commits to master since this release
v3.4.1
dc410d6
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: Plugin support in the resolution pipeline (#1739)
  • fix: NullPointerException in the AST (#1805)
  • fix: Change datatype deconstruction in match statements for C# (#1815)
Assets 8
Loading
0 Join discussion