New stormpy version 1.2.0

7 years ago · 6c729cabf7
2 changed files with 7 additions and 3 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -2,7 +2,7 @@ Changelog
 =============


-Version 1.1.x
+Version 1.2.x
 -------------

 ### Version 1.2.0
@ -15,6 +15,10 @@ Requires storm version >= 1.2.0 and pycarl version >= 2.0.2
 - Extended documentation
 - Extended build script

+
+Version 1.1.x
+-------------
+
 ### Version 1.1.0 (2017/08)
 Requires storm version >= 1.1.0
 - Bindings for `storm-pars`
@ -40,4 +44,4 @@ Version 0.9.x
 - Improved building system, read flags from storm build system

 ### Version 0.9 (2017/03)
- Start of this changelog
+- Start of this changelog
--- a/lib/stormpy/_version.py
+++ b/lib/stormpy/_version.py
@ -1 +1 @@
-__version__ = "1.1.0"
+__version__ = "1.2.0"