Release v2.6.2

• Update Dafny and language server to v3.7.3

Release v2.6.1

• Fixed the compiler command line (#205)

Release v2.6.0

• Update Dafny and language server to v3.7.2
• Feat: Use nightly releases (#196)
• Feat: Hide either "Show Counterexample" or "Hide Counterexample" from the menu, depending on the state (#191)
• Fix: Multiline strings correctly highlighted (#202)
• Fix: Highlighting of nested types (#199)
• Fix: Missing images for the gutter (#200)
• Fix: Better dotnet and brew install errors for Mac M1 (#186)
• Fix: Better installation and java recognition for Mac M1 (#183)

Release v2.5.0

• 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

Release v2.4.0

• Update Dafny and language server to v3.6.0
• Fix issue related to Dafny installation on OSX M1 architectures
• Fix not sending obsolete notification to user
• Fix: Nested comments now displayed correctly
• Feat: Verification gutter icons

Release v2.3.0

• Update Dafny and language server to v3.5.0
• Fix bug causing the red error squiggles to disappear
• Improved syntax highlighting

Release v2.2.0

• Add option to specify the preferred dafny version for automatic installation
• Treat empty compiler/language server paths as unconfigured (use automatic installation)
• Accept .NET 6.0 as a supported platform
• Show verification progress messages (if available)
• Add option to configure Dafny's caching policy
• Fix the text selection for highlighted ghost statements
• Several improvements to the syntax highlighting

Release v2.1.1

• Changed the marketplace publisher to dafny-lang
• Now marking ghost statements by default (requires Dafny 3.4.0+)
• Fixed issue when compiling untitled documents
• Changed 'Compilation Succeeded' status message to 'Resolved (not verified)'

Release v2.1.0

• Changed the marketplace publisher to dafny-lang
• Now marking ghost statements by default (requires Dafny 3.4.0+)
• Fixed issue when compiling untitled documents
• Changed 'Compilation Succeeded' status message to 'Resolved (not verified)'

Release v2.0.2

• Improved syntax highlighting of strings