Merge branch 'main' into th/tuple-unbox

informalsystems · Oct 4, 2023 · 105b4a2 · 105b4a2
2 parents 8dbfcc8 + 72d563a
commit 105b4a2
Show file tree

Hide file tree

Showing 9 changed files with 36 additions and 18 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## UNRELEASED
 
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.14.4 -- 2023-10-02
+
 ### Added
 
 - Added `--random-transitions` flag for `verify`, enabling symbolic simulation

diff --git a/quint/package-lock.json b/quint/package-lock.json
diff --git a/quint/package.json b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.14.3",
+  "version": "0.14.4",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",

diff --git a/quint/src/version.ts b/quint/src/version.ts
@@ -1,2 +1,2 @@
 // Generated by genversion.
-export const version = '0.14.3'
+export const version = '0.14.4'
diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md
@@ -14,6 +14,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Fixed
 ### Security
 
+## v0.9.1 -- 2023-10-02
+
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
 ## v0.9.0 -- 2023-09-19
 
 ### Added

diff --git a/vscode/quint-vscode/package-lock.json b/vscode/quint-vscode/package-lock.json
diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json
@@ -2,7 +2,7 @@
 	"name": "quint-vscode",
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
-	"version": "0.9.0",
+	"version": "0.9.1",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"

diff --git a/vscode/quint-vscode/server/package-lock.json b/vscode/quint-vscode/server/package-lock.json
diff --git a/vscode/quint-vscode/server/package.json b/vscode/quint-vscode/server/package.json
@@ -1,7 +1,7 @@
 {
   "name": "@informalsystems/quint-language-server",
   "description": "Language Server for the Quint specification language",
-  "version": "0.9.0",
+  "version": "0.9.1",
   "author": "Informal Systems",
   "contributors": [
     {
@@ -43,7 +43,7 @@
     "test/**/*.ts"
   ],
   "dependencies": {
-    "@informalsystems/quint": "^0.14.3",
+    "@informalsystems/quint": "^0.14.4",
     "vscode-languageserver": "^7.0.0",
     "vscode-languageserver-textdocument": "^1.0.1",
     "vscode-uri": "^3.0.7"