From 3994c6b636bfedbe1e20bdfdd752c6ae3ff51d3c Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Mon, 25 Mar 2024 15:28:32 -0300
Subject: [PATCH] Release v0.19.0

---
 CHANGELOG.md            |  9 +++++++++
 quint/package-lock.json |  4 ++--
 quint/package.json      | 16 +++++++++++++---
 quint/src/version.ts    |  2 +-
 4 files changed, 25 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7ede3f019..72a8b2849 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.19.0 -- 2024-03-25
+
 ### Added
 
 - Added polymorphic type declarations, allowing abstracting commonly used data
diff --git a/quint/package-lock.json b/quint/package-lock.json
index 026906f79..e0a90bc42 100644
--- a/quint/package-lock.json
+++ b/quint/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.18.3",
+  "version": "0.19.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint",
-      "version": "0.18.3",
+      "version": "0.19.0",
       "license": "Apache 2.0",
       "dependencies": {
         "@grpc/grpc-js": "^1.8.14",
diff --git a/quint/package.json b/quint/package.json
index cda2d27d1..c998fee87 100644
--- a/quint/package.json
+++ b/quint/package.json
@@ -1,8 +1,14 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.18.3",
+  "version": "0.19.0",
   "description": "Core tool for the Quint specification language",
-  "keywords": ["temporal", "logic", "formal", "specification", "verification"],
+  "keywords": [
+    "temporal",
+    "logic",
+    "formal",
+    "specification",
+    "verification"
+  ],
   "homepage": "https://github.com/informalsystems/quint",
   "bugs": "https://github.com/informalsystems/quint/issues",
   "license": "Apache 2.0",
@@ -29,7 +35,11 @@
   "bin": {
     "quint": "dist/src/cli.js"
   },
-  "files": ["README.md", "dist/**/*", "test/**/*.ts"],
+  "files": [
+    "README.md",
+    "dist/**/*",
+    "test/**/*.ts"
+  ],
   "engines": {
     "node": "18 - 20"
   },
diff --git a/quint/src/version.ts b/quint/src/version.ts
index 8172abdfa..808e70727 100644
--- a/quint/src/version.ts
+++ b/quint/src/version.ts
@@ -1,2 +1,2 @@
 // Generated by genversion.
-export const version = '0.18.3'
+export const version = '0.19.0'