From 28c592774b9cde2c4c1e570dcf8d17b287aaca70 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Wed, 6 Dec 2023 14:45:46 -0600 Subject: [PATCH] Bump version to 0.9.0 --- CHANGELOG.md | 7 +++++++ package-lock.json | 4 ++-- package.json | 2 +- 3 files changed, 10 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d2eb796..8d28178 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,10 @@ +### Version 0.9.0 +- Update Kind 2 to version 2.1.0 and Z3 to version 4.12.4 +- Update syntax highlighting: + - Add `param` and `assuming` keywords + - Replace `choose` keyword with `any` +- Update node packages + ### Version 0.8.2 - Update kind2-language-server to v0.1.6 (includes fix) diff --git a/package-lock.json b/package-lock.json index c42e84e..334c09d 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "vscode-kind2", - "version": "0.8.2", + "version": "0.9.0", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "vscode-kind2", - "version": "0.8.2", + "version": "0.9.0", "license": "MIT", "dependencies": { "vscode-languageclient": "^6.1.4" diff --git a/package.json b/package.json index 9b69f63..f3d030c 100644 --- a/package.json +++ b/package.json @@ -5,7 +5,7 @@ "description": "Language support for Kind 2", "author": "The Kind 2 development team", "license": "MIT", - "version": "0.8.2", + "version": "0.9.0", "preview": true, "repository": { "type": "git",