chore: Bump version to 2.6.0 (#203)

CHANGELOG.md

@@ -1,5 +1,15 @@
 # Release Notes
 
+## 2.6.0
+- Update Dafny and language server to [v3.7.2](https://github.com/dafny-lang/dafny/releases/tag/v3.7.2)
+- Feat: Use nightly releases (https://github.com/dafny-lang/ide-vscode/pull/196)
+- Feat: Hide either "Show Counterexample" or "Hide Counterexample" from the menu, depending on the state (https://github.com/dafny-lang/ide-vscode/pull/191)
+- Fix: Multiline strings correctly highlighted (https://github.com/dafny-lang/ide-vscode/pull/202)
+- Fix: Highlighting of nested types (https://github.com/dafny-lang/ide-vscode/pull/199)
+- Fix: Missing images for the gutter (https://github.com/dafny-lang/ide-vscode/pull/200)
+- Fix: Better dotnet and brew install errors for Mac M1 (https://github.com/dafny-lang/ide-vscode/pull/186)
+- Fix: Better installation and java recognition for Mac M1 (https://github.com/dafny-lang/ide-vscode/pull/183)
+
 ## 2.5.0
 
 - Update Dafny and language server to [v3.7.0](https://github.com/dafny-lang/dafny/releases/tag/v3.7.0)

CONTRIBUTING.md

@@ -0,0 +1,15 @@
+# Release process:
+
+1. Look for all the recent changes since the last version https://github.com/dafny-lang/ide-vscode/commits/master
+   and write a summary of each relevant commit in `CHANGELOG.md`
+2. Update `package.json`
+  - Upgrade the version number of the extension in `package.json` (line 5) (let's assume it's A.B.C)
+  - Search for `"dafny.preferredVersion":`, and add the most recent Dafny version number to the head of the list (let's assume it's X.Y.Z)
+3. Update `src/constants.ts`
+  - Change `LanguageServerConstants.LatestVersion = "X.Y.Z"` for the same version number that you put.
+4. Commit your changes in a branch named `dafny-X.Y.Z`
+   Your commit message could be `chore: Bump version to A.B.C`
+5. Push this branch on the server, have it merged (after necessary approval)
+6. Pull the most recent master branch of the extension.
+7. Add the tag with the command `git tag vX.Y.Z` and push it with `git push origin vX.Y.Z`
+

package.json

@@ -2,7 +2,7 @@
   "name": "ide-vscode",
   "displayName": "Dafny",
   "description": "Dafny for Visual Studio Code",
-  "version": "2.5.0",
+  "version": "2.6.0",
   "publisher": "dafny-lang",
   "repository": {
     "type": "git",
@@ -202,6 +202,7 @@
           "type": "string",
           "enum": [
             "latest",
+            "3.7.2",
             "3.7.0",
             "3.6.0",
             "3.5.0",

src/constants.ts

@@ -47,7 +47,7 @@ export namespace DotnetConstants {
 export namespace LanguageServerConstants {
   export const LatestStable = 'latest';
   export const LatestNightly = 'latest nightly';
-  export const LatestVersion = '3.7.0';
+  export const LatestVersion = '3.7.2';
   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';

src/test/suite/extension.test.ts

@@ -13,6 +13,7 @@ const { DafnyInstaller } = proxyquire('../../language/dafnyInstallation', {
   })
 });
 import { Messages } from '../../ui/messages';
+import { LanguageServerConstants } from '../../constants';
 
 
 const mockedWorkspace = MockingUtils.mockedWorkspace();
@@ -42,7 +43,7 @@ suite('Dafny IDE Extension Installation', () => {
     const result = await installer.install();
     assert.strictEqual(outputChannelBuilder.writtenContent().replace(/\\/g, '/'),
       'Starting Dafny installation\n'
-      + 'deleting previous Dafny installation at /tmp/mockedUri/out/resources/3.7.0\n'
+      + 'deleting previous Dafny installation at /tmp/mockedUri/out/resources/' + LanguageServerConstants.LatestVersion + '\n'
       + 'Dafny installation failed:\n'
       + '> Simulated error in delete\n'
     );