chore: Bump version to 2.5.0 (#181)

dafny-lang · Jun 21, 2022 · 04b68ce · 04b68ce
1 parent 5bbf1d9
commit 04b68ce
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,14 @@
 # Release Notes
 
+## 2.5.0
+
+- Update Dafny and language server to [v3.7.0](https://github.com/dafny-lang/dafny/releases/tag/v3.7.0)
+- Underline related errors in postconditions (https://github.com/dafny-lang/ide-vscode/pull/164)
+- Show verification status in the gutter (https://github.com/dafny-lang/ide-vscode/pull/147)
+- Make status bar clickable and open a Dafny command menu (https://github.com/dafny-lang/ide-vscode/pull/125)
+- Improved error messages
+- Various fixes
+
 ## 2.4.0
 
 - Update Dafny and language server to [v3.6.0](https://github.com/dafny-lang/dafny/releases/tag/v3.6.0)

diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "2.4.1",
+  "version": "2.5.0",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",
@@ -202,6 +202,7 @@
           "type": "string",
           "enum": [
             "latest",
+            "3.7.0",
             "3.6.0",
             "3.5.0",
             "3.4.2",

diff --git a/src/constants.ts b/src/constants.ts
@@ -46,7 +46,7 @@ export namespace DotnetConstants {
 
 export namespace LanguageServerConstants {
   export const Latest = 'latest';
-  export const LatestVersion = '3.6.0';
+  export const LatestVersion = '3.7.0';
   export const UnknownVersion = 'unknown';
   export const DafnyGitUrl = 'https://github.com/dafny-lang/dafny.git';
   export const DownloadBaseUri = 'https://github.com/dafny-lang/dafny/releases/download';