New stormpy version 1.2.0

moves-rwth · Dec 11, 2017 · 6c729ca · 6c729ca
1 parent e9ad026
commit 6c729ca
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git 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
diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.1.0"
+__version__ = "1.2.0"