From 45d8d978f4a9c1c8fb71023d8b16f5b5d9190b24 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 8 Jun 2020 16:23:36 +0200
Subject: [PATCH] Stormpy version 1.6.0

---
 CHANGELOG.md            | 23 +++++++++++++++++++++--
 lib/stormpy/_version.py |  2 +-
 setup.py                |  2 +-
 3 files changed, 23 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 67e0379..526ea94 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,13 +1,32 @@
 Changelog
 =============
 
-Version 1.4.x
+Version 1.6.x
 -------------
 
-### Version 1.4.2 (under development) 
+### Version 1.6.0 (2020/06)
+Requires storm version >= 1.6.0 and pycarl version >= 2.0.4
 
+- Adaptions to changes in Storm: most notably state valuations
+- Support for GSPNs: parsing, exploring, building
+- Support for matrix building
 - Extended expression operators with {conjunction, disjunction}
 - Added information collector to extract information from jani models
+- Bindings for elimination of chains of non-Markovian states
+
+
+Version 1.5.x
+-------------
+
+### Version 1.5.1
+Skipped for compatibility with Storm.
+
+### Version 1.5.0
+Skipped for compatibility with Storm.
+
+
+Version 1.4.x
+-------------
 
 ### Version 1.4.1 (2019/12)
 Requires storm version >= 1.4.1 and pycarl version >= 2.0.4
diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
index bf25615..e4adfb8 100644
--- a/lib/stormpy/_version.py
+++ b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.4.1"
+__version__ = "1.6.0"
diff --git a/setup.py b/setup.py
index 0f7b0dc..1d3d925 100755
--- a/setup.py
+++ b/setup.py
@@ -14,7 +14,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.5.2"
+storm_min_version = "1.6.0"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f: