diff --git a/CHANGELOG.md b/CHANGELOG.md index a6d203f3c..64e6dd58c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,23 @@ Changelog ============= +Version 1.9.x +------------- + +### Version 1.9.0 (2024/08) +Requires Storm version >= 1.9.0 and pycarl version >= 2.3.0 + +- Support for computing steady-state distributions +- Support for quantitative POMDP analysis +- Support for interval-based models +- Extended ADD support +- Support for all-in-one MDP +- Bindings for Smg and GameFormula +- Build parametric models from model components +- Improved access to state valuations, choice labels and choice origins +- Adaption to changes in Storm such as DFT simulator +- Developer: improved build process + Version 1.8.x ------------- diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index 29654eec0..0a0a43a57 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.8.0" +__version__ = "1.9.0" diff --git a/setup.py b/setup.py index b20942aa8..633d211ec 100755 --- a/setup.py +++ b/setup.py @@ -13,7 +13,7 @@ sys.exit('Sorry, Python 2.x is not supported') # Minimal storm version required -storm_min_version = "1.8.2" +storm_min_version = "1.9.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: @@ -226,8 +226,8 @@ def finalize_options(self): ], cmdclass={'build_ext': CMakeBuild}, zip_safe=False, - install_requires=['pycarl>=2.2.0'], - setup_requires=['pycarl>=2.2.0', # required to check pybind version used for pycarl + install_requires=['pycarl>=2.3.0'], + setup_requires=['pycarl>=2.3.0', # required to check pybind version used for pycarl 'packaging' ], extras_require={