From 4e91eb18aa7b48f762176e3b323325a757aff4ec Mon Sep 17 00:00:00 2001
From: Matthias Volk <volkm@users.noreply.github.com>
Date: Fri, 23 Aug 2024 13:18:53 +0200
Subject: [PATCH] Stormpy version 1.9.0 (#183)

---
 CHANGELOG.md            | 17 +++++++++++++++++
 lib/stormpy/_version.py |  2 +-
 setup.py                |  6 +++---
 3 files changed, 21 insertions(+), 4 deletions(-)

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={