Stormpy version 1.7.0

moves-rwth · Jul 31, 2022 · 6fbc5bf · 6fbc5bf
1 parent 9fa4144
commit 6fbc5bf
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 5 deletions.
diff --git 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
@@ -1 +1 @@
-__version__ = "1.6.4"
+__version__ = "1.7.0"