Merge pull request #1200 from informalsystems/release/0.14.4

Release v0.14.4
informalsystems · Oct 2, 2023 · d791fd7 · d791fd7
2 parents fa021e3 + 21149a9
commit d791fd7
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 4 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'