v3.0.0

• Updated to .NET 5.0
• Updated to Dafny 3.0.0
• Updated to Boogie 2.8.26
• Fixed include resolution discrepancy with the Dafny compiler
• Added option to control when the verification should be applied

v2.3.0

• Updated to Dafny 3.0.0 PreRelease2
• Removed unnecessary resource files from the release packages

v2.2.0

• Now hiding diagnostics when closing a document.
• Now showing the postcondition that might be violated.
• Now showing that an include has parse errors.
• Added the possibility to retrieve counterexamples.
• Added the dafny compiler to the release packages.

v2.1.0

• Improved number of supported syntax features.
• Improved the symbol representation when hovering over variables.
• Added possibility to lookup types.
• Added support for shadowing of local variables.
• Added OSX builds.

v2.0.0

Initial release of the reworked C# based language server for dafny.