Stormpy version 1.6.3

moves-rwth · Dec 1, 2020 · 6fc0d72 · 6fc0d72
1 parent 389331b
commit 6fc0d72
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git 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
@@ -1 +1 @@
-__version__ = "1.6.2"
+__version__ = "1.6.3"