From 5a6c5ce5b256856e3530cf9eb44536a5ae6ad445 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Thu, 20 May 2021 09:00:48 -0500
Subject: [PATCH] Bump version numbers to v1.4.0

---
 CHANGES.md             | 2 +-
 doc/usr/source/conf.py | 8 ++++----
 dune-project           | 1 +
 kind2.opam             | 1 +
 4 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index c4877a6e1..20918a52c 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,5 @@
 
-# Unreleased
+# Kind 2 v1.4.0
 
 New features:
 
diff --git a/doc/usr/source/conf.py b/doc/usr/source/conf.py
index c19d41c8a..4af03bf15 100644
--- a/doc/usr/source/conf.py
+++ b/doc/usr/source/conf.py
@@ -19,13 +19,13 @@
 # -- Project information -----------------------------------------------------
 
 project = 'Kind 2'
-copyright = '2015-2020, Board of Trustees of the University of Iowa'
+copyright = '2015-2021, Board of Trustees of the University of Iowa'
 author = 'Kind 2 Team'
 
 # The short X.Y version
-version = 'v1.3'
+version = 'v1.4'
 # The full version, including alpha/beta/rc tags
-release = 'v1.3.1'
+release = 'v1.4.0'
 
 nitpicky = True
 
@@ -250,7 +250,7 @@
 
             \sffamily\Large \textbf{\Huge {Kind 2 User Documentation}}
 
-            \sffamily\Large \textbf{Version 1.3.1}
+            \sffamily\Large \textbf{Version 1.4.0}
 
             \newdateformat{monthdayyear}{%
                 \monthname[\THEMONTH] \THEDAY, \THEYEAR}
diff --git a/dune-project b/dune-project
index 17c99543f..3e6a31652 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,7 @@
 (lang dune 2.0)
 
 (name kind2)
+(version v1.4.0)
 
 (package
  (name kind2)
diff --git a/kind2.opam b/kind2.opam
index 3f7878010..15924d2ce 100644
--- a/kind2.opam
+++ b/kind2.opam
@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "v1.4.0"
 synopsis:
   "Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs"
 description: