diff --git a/CHANGELOG.md b/CHANGELOG.md index cecf1b4..8479b19 100644 --- 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 \ No newline at end of file +- Start of this changelog diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index 6849410..c68196d 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.1.0" +__version__ = "1.2.0"