diff --git a/CHANGELOG.md b/CHANGELOG.md index 67e0379..526ea94 100644 --- 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 index bf25615..e4adfb8 100644 --- 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 index 0f7b0dc..1d3d925 100755 --- a/setup.py +++ b/setup.py @@ -14,7 +14,7 @@ if sys.version_info[0] == 2: 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: