Skip to content

Release v3.2.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Sep 17:06
v3.2.0
768c1c3
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.3.0
  • Update LSP client to 9.0.0 (#439)
    The main driver of this update is that it improves error handling
  • Let the extension use the Dafny server to track changes in dfyconfig (#435)
  • Fix the removal of verification tests (#436)
  • Make status bar forward compatible with upcoming Dafny release (#432)
  • Fix: support for spaces in paths (#431)
  • Bump semver from 7.3.7 to 7.5.4 (#411)
  • Always show all verifiable symbols in the test panels (#428)
  • Prevent verification as tests UI from becoming unresponsive (#421)
Assets 3
Loading