Release v2.5.0

github-actions released this 21 Jun 12:08

04b68ce

Update Dafny and language server to v3.7.0
Underline related errors in postconditions (#164)
Show verification status in the gutter (#147)
Make status bar clickable and open a Dafny command menu (#125)
Improved error messages
Various fixes

Assets 3