From 6fc0d72b99f79e46bc658d652abc2199e0aefb44 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 1 Dec 2020 21:10:26 +0100 Subject: [PATCH] Stormpy version 1.6.3 --- CHANGELOG.md | 9 ++++++--- lib/stormpy/_version.py | 2 +- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d1d6ec9..564c0c7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,11 +4,14 @@ Changelog Version 1.6.x ------------- -### Version 1.6.3 (to be released) +### Version 1.6.3 (2020/12) +Requires storm version >= 1.6.3 and pycarl version >= 2.0.4 + - Documentation is largely based on Jupyter notebooks now and supports launch with Binder - Support for exact arithmetic in models -- Support for timeouts/signal handlers in storm -- Code for parametric/exact/floating-point models data structures unified. +- Support for timeouts/signal handlers in Storm +- Code for parametric/exact/floating-point models data structures unified +- Extended support for Prism and Jani data structures - `export_parametric_to_drn` no longer exists, use `export_to_drn` instead ### Version 1.6.2 (2020/09) diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index 51bbb3f..31e744e 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.6.2" +__version__ = "1.6.3"