Stormpy version 1.8.0

Author: volkm

CHANGELOG.md

@@ -2,16 +2,21 @@ Changelog
 =============
 
 
-Version 1.7.x
+Version 1.8.x
 -------------
 
-### Version 1.7.x
-Requires Storm version >= 1.7.1 and pycarl version >= 2.1.0
+### Version 1.8.0 (2023/06)
+Requires Storm version >= 1.8.0 and pycarl version >= 2.2.0
 
-- Adaption to changes in Storm such as the removal of JIT compilation
+- Scheduler extraction for exact models
+- Adaption to changes in Storm such as the removal of JIT compilation and changes in `storm-pomdp`
 - Added bindings for DFT modules
 - Developer: improved build process
-- Developer: updated pybind version to 2.10.0. Check compatibility to pybind version of pycarl.
+- Developer: updated pybind version to 2.10.0. Check compatibility to pybind version of pycarl
+
+
+Version 1.7.x
+-------------
 
 ### Version 1.7.0 (2022/07)
 Requires Storm version >= 1.7.0 and pycarl version >= 2.1.0

doc/checklist_new_release.md

@@ -11,36 +11,28 @@ The following steps should be performed when releasing a new stormpy version.
    * Update `storm_min_version` in `setup.py`
    * Update `install_requires`/`setup_requires` version of pycarl in `setup.py`
 
-3. Update the Storm Docker images for Github actions:
-   * Set `RELEASE_IMG` and `DEBUG_IMG` in `.github/workflows/buildtest.yml`
-
-4. Check that stormpy builds without errors and all tests are successful
+3. Check that stormpy builds without errors and all tests are successful
    * [Github Actions](https://github.com/moves-rwth/stormpy/actions) should run successfully
 
-5. Set new stormpy version:
+4. Set new stormpy version:
    * Set new stormpy version in `lib/stormpy/_version.py`
 
-6. Set new tag in git
+5. Set new tag in git
    ```console
    git tag -a new_version
-   git push origin new_version
-   ```
-   Next we push the tag to GitHub. This step requires the GitHub repo to to be configured as a remote.
-   ```console
-   git remote add github https://github.com/moves-rwth/stormpy.git
    git push github new_version
    ```
    The new tag should now be visible on [GitHub](https://github.com/moves-rwth/stormpy/tags).
 
-7. [Add new release](https://github.com/moves-rwth/stormpy/releases/new) in GitHub.
+6. [Add new release](https://github.com/moves-rwth/stormpy/releases/new) in GitHub.
 
-8. Create [Docker containers](https://hub.docker.com/r/movesrwth/stormpy) for new version using scripts.
+7. Create [Docker containers](https://hub.docker.com/r/movesrwth/stormpy) for new version using scripts.
 
-9. Update Docker version for Binder in by changing `binder/Dockerfile`:
+8. Update Docker version for Binder in by changing `binder/Dockerfile`:
     * Set new stormpy release as base
     * Update version numbers of dependencies
 
-10. Create new python package for release on [Pypi](https://pypi.org/project/stormpy/):
+9. Create new python package for release on [Pypi](https://pypi.org/project/stormpy/):
    ```console
    python3 setup.py sdist
    python3 -m pip install --user --upgrade twine

lib/stormpy/_version.py

@@ -1 +1 @@
-__version__ = "1.7.0"
+__version__ = "1.8.0"

setup.py

@@ -13,7 +13,7 @@
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.7.1"
+storm_min_version = "1.8.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:
@@ -225,8 +225,8 @@ def finalize_options(self):
                  ],
     cmdclass={'build_ext': CMakeBuild},
     zip_safe=False,
-    install_requires=['pycarl>=2.1.0'],
-    setup_requires=['pycarl>=2.1.0', # required to check pybind version used for pycarl
+    install_requires=['pycarl>=2.2.0'],
+    setup_requires=['pycarl>=2.2.0', # required to check pybind version used for pycarl
                    'pytest-runner',
                    'packaging'
                    ],