Bump version numbers to v1.5.1

kind2-mc · Nov 30, 2021 · ebf8a19 · ebf8a19
1 parent c453b38
commit ebf8a19
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 4 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-# Unreleased
+# Kind 2 v1.5.1
 
 This release includes performance improvements and various fixes. Notably:
 

diff --git a/doc/usr/source/conf.py b/doc/usr/source/conf.py
@@ -25,7 +25,7 @@
 # The short X.Y version
 version = 'v1.5'
 # The full version, including alpha/beta/rc tags
-release = 'v1.5.0'
+release = 'v1.5.1'
 
 nitpicky = True
 
@@ -250,7 +250,7 @@
 
             \sffamily\Large \textbf{\Huge {Kind 2 User Documentation}}
 
-            \sffamily\Large \textbf{Version 1.5.0}
+            \sffamily\Large \textbf{Version 1.5.1}
 
             \newdateformat{monthdayyear}{%
                 \monthname[\THEMONTH] \THEDAY, \THEYEAR}

diff --git a/dune-project b/dune-project
@@ -1,6 +1,7 @@
 (lang dune 2.7)
 
 (name kind2)
+(version v1.5.1)
 
 (package
  (name kind2)

diff --git 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.5.1"
 synopsis:
   "Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs"
 description: """

diff --git a/src/version.ml b/src/version.ml
@@ -1,6 +1,6 @@
 let package_name = "kind2"
 
-let base_version = "v1.5.0"
+let base_version = "v1.5.1"
 
 let version =
   (match Build_info.V1.version () with