Bump version to 0.7.0

kind2-mc · Apr 26, 2023 · f9fd572 · f9fd572
1 parent dbd8124
commit f9fd572
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,11 @@
+### Version 0.7.0
+- Update Z3 to version 4.12.1 and Kind 2 to version 1.9.0.
+- Update syntax highlighting: elsif, provided, choose.
+- Update button for counterexamples.
+- Remove protractor dependency from interpreter
+- Update all node packages of interpreter to latest compatible version
+- Replace TSLint with ESLint in interpreter.
+
 ### Version 0.6.2
 - Force publication of universal version before platform-specific versions.
   Otherwise, `vsce` fails publishing universal version.

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.6.2",
+  "version": "0.7.0",
   "preview": true,
   "repository": {
     "type": "git",