Skip to content

Release v3.1.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Jul 18:11
v3.1.2
176ed57
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.
  • Add Dafny 4.2.0
  • Update README.md (#407)
  • Fix: Empty ghost diagnostics no longer ignored (#399)
  • Chore: Support labels with primes and question marks (#398)
  • Chore: Better description of automatic verification (#397)
  • Fixes "this" highlight (#396)
  • Support new IDE states, parsing and preparing verification (#392)
Assets 3
Loading