Stormpy version 1.6.0

moves-rwth · Jun 8, 2020 · 45d8d97 · 45d8d97
1 parent 7015a4c
commit 45d8d97
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,13 +1,32 @@
 Changelog
 =============
 
-Version 1.4.x
+Version 1.6.x
 -------------
 
-### Version 1.4.2 (under development) 
+### Version 1.6.0 (2020/06)
+Requires storm version >= 1.6.0 and pycarl version >= 2.0.4
 
+- Adaptions to changes in Storm: most notably state valuations
+- Support for GSPNs: parsing, exploring, building
+- Support for matrix building
 - Extended expression operators with {conjunction, disjunction}
 - Added information collector to extract information from jani models
+- Bindings for elimination of chains of non-Markovian states
+
+
+Version 1.5.x
+-------------
+
+### Version 1.5.1
+Skipped for compatibility with Storm.
+
+### Version 1.5.0
+Skipped for compatibility with Storm.
+
+
+Version 1.4.x
+-------------
 
 ### Version 1.4.1 (2019/12)
 Requires storm version >= 1.4.1 and pycarl version >= 2.0.4

diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py
@@ -1 +1 @@
-__version__ = "1.4.1"
+__version__ = "1.6.0"
diff --git a/setup.py b/setup.py
@@ -14,7 +14,7 @@
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.5.2"
+storm_min_version = "1.6.0"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f: