From 21149a97b8277da0d98ba6e0e12ffe8655c34505 Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 2 Oct 2023 08:38:34 -0300 Subject: [PATCH 1/2] Release v0.14.4 --- CHANGELOG.md | 9 +++++++++ quint/package-lock.json | 4 ++-- quint/package.json | 2 +- quint/src/version.ts | 2 +- 4 files changed, 13 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8a1898443..1ebbfae72 100644 --- 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 index 16f3b7c70..60bddcec4 100644 --- a/quint/package-lock.json +++ b/quint/package-lock.json @@ -1,12 +1,12 @@ { "name": "@informalsystems/quint", - "version": "0.14.3", + "version": "0.14.4", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "@informalsystems/quint", - "version": "0.14.3", + "version": "0.14.4", "license": "Apache 2.0", "dependencies": { "@grpc/grpc-js": "^1.8.14", diff --git a/quint/package.json b/quint/package.json index 107ae0ba1..9c6a8ba25 100644 --- 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 index ae5239d16..439bd8942 100644 --- 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' From d02169ab529d4b66877e1c6e653a73aa435f1412 Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 2 Oct 2023 11:37:49 -0300 Subject: [PATCH 2/2] VSCode Release v0.9.1 --- vscode/quint-vscode/CHANGELOG.md | 9 +++++++++ vscode/quint-vscode/package-lock.json | 4 ++-- vscode/quint-vscode/package.json | 2 +- vscode/quint-vscode/server/package-lock.json | 18 +++++++++--------- vscode/quint-vscode/server/package.json | 4 ++-- 5 files changed, 23 insertions(+), 14 deletions(-) diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md index 0dac488e1..4e1ad18d0 100644 --- 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 index d407dd3d7..4f743e9ab 100644 --- a/vscode/quint-vscode/package-lock.json +++ b/vscode/quint-vscode/package-lock.json @@ -1,12 +1,12 @@ { "name": "quint-vscode", - "version": "0.9.0", + "version": "0.9.1", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "quint-vscode", - "version": "0.9.0", + "version": "0.9.1", "hasInstallScript": true, "dependencies": { "vscode-languageclient": "^7.0.0" diff --git a/vscode/quint-vscode/package.json b/vscode/quint-vscode/package.json index 1277e9e89..ea10d3ba0 100644 --- 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 index 204a58f58..d0c56da26 100644 --- a/vscode/quint-vscode/server/package-lock.json +++ b/vscode/quint-vscode/server/package-lock.json @@ -1,15 +1,15 @@ { "name": "@informalsystems/quint-language-server", - "version": "0.9.0", + "version": "0.9.1", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "@informalsystems/quint-language-server", - "version": "0.9.0", + "version": "0.9.1", "license": "Apache 2.0", "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" @@ -476,9 +476,9 @@ "dev": true }, "node_modules/@informalsystems/quint": { - "version": "0.14.3", - "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.3.tgz", - "integrity": "sha512-o/koSCs8lRNFl+qQmi0HIaPzeSAAUAcRakaOm9UkWrlkBtZlRrhONeZ7E6CCRSFbyRTA9U0mosqaefam1djycw==", + "version": "0.14.4", + "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.4.tgz", + "integrity": "sha512-RzoQ5BgJ++DneD0jmkEsWNlE39MCSw/HnaZxAWeNfGy0QkpNZ1AYhSwrBf3BPa9UBWJCF5aIvJPsNKkAT64TYg==", "dependencies": { "@grpc/grpc-js": "^1.8.14", "@grpc/proto-loader": "^0.7.7", @@ -7207,9 +7207,9 @@ "dev": true }, "@informalsystems/quint": { - "version": "0.14.3", - "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.3.tgz", - "integrity": "sha512-o/koSCs8lRNFl+qQmi0HIaPzeSAAUAcRakaOm9UkWrlkBtZlRrhONeZ7E6CCRSFbyRTA9U0mosqaefam1djycw==", + "version": "0.14.4", + "resolved": "https://registry.npmjs.org/@informalsystems/quint/-/quint-0.14.4.tgz", + "integrity": "sha512-RzoQ5BgJ++DneD0jmkEsWNlE39MCSw/HnaZxAWeNfGy0QkpNZ1AYhSwrBf3BPa9UBWJCF5aIvJPsNKkAT64TYg==", "requires": { "@grpc/grpc-js": "^1.8.14", "@grpc/proto-loader": "^0.7.7", diff --git a/vscode/quint-vscode/server/package.json b/vscode/quint-vscode/server/package.json index 6e3451de5..998f65387 100644 --- 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"