Skip to content

Release v3.4.3

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 24 Dec 14:49
v3.4.3
3a05984
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

18337

  • Added Dafny 4.9.1
  • Support for @-syntax for attributes (#500)
    Before:
    image
    After:
    image
Assets 3
Loading