From 6fbc5bf28d1ee9b9231bd0845b46e5924d4297ca Mon Sep 17 00:00:00 2001
From: Matthias Volk <volkm@users.noreply.github.com>
Date: Sun, 31 Jul 2022 21:21:48 +0200
Subject: [PATCH] Stormpy version 1.7.0

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fe3e8ec70..85744b69a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,16 +1,31 @@
 Changelog
 =============
 
-Version 1.6.x
+
+Version 1.7.x
 -------------
-### Version 1.6.?
+
+### Version 1.7.0 (2022/07)
+Requires Storm version >= 1.7.0 and pycarl version >= 2.1.0
+
+- Support for plotting via extras `plot`
+- Support for LTL model checking via Spot
+- Some support for multi-objective model checking queries
 - Bindings for maximal end components
 - Support for computing expected number of visits
+- Added accessors for Prism program
+- Added documentation for simulator
 - Support for building complete/partial state space of DFT
 - Instantiator for parametric DFT
-- Developer: Storm is built with C++17
+- Simulator for DFT
+- Added Dockerfile
+- Developer: stormpy is built with C++17
 - Developer: updated pybind11 to version 2.8.1 and adapted bindings accordingly
-- Adaption to changes in Storm: new namespace storm::dft.
+- Adaption to changes in Storm such as the new namespace `storm::dft`
+
+
+Version 1.6.x
+-------------
 
 ### Version 1.6.4 (2022/01)
 Requires storm version >= 1.6.4 and pycarl version >= 2.0.5
diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
index dc79f8f05..14d9d2f58 100644
--- a/lib/stormpy/_version.py
+++ b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.6.4"
+__version__ = "1.7.0"