From 53e7e102c8cb69685d927269e754b2dee9ef2e9d Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 11 Sep 2020 10:55:49 +0200 Subject: [PATCH] Stormpy version 1.6.2 --- CHANGELOG.md | 2 +- lib/stormpy/_version.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index e4d09c0..427bae8 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,7 @@ Changelog Version 1.6.x ------------- -### Version 1.6.2 (under development) +### Version 1.6.2 (2020/09) Requires storm version >= 1.6.2 and pycarl version >= 2.0.4 - Adaptions to changes in Storm diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index e4adfb8..51bbb3f 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.6.0" +__version__ = "1.6.2"