Bump version to 0.9.0

kind2-mc · Dec 6, 2023 · 28c5927 · 28c5927
1 parent 3525a79
commit 28c5927
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 3 deletions.
diff --git 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
diff --git 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",