diff --git a/CHANGELOG.md b/CHANGELOG.md index 1c35db401..5700cd906 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,9 +4,14 @@ Changelog Version 1.11.x -------------- -### Version 1.11.2 (2025/10) +### Version 1.11.3 (2025/10) Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.1. +- Use latest Storm version in CI workflow for releases. + +### Version 1.11.2 (2025/10) +Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.0. + - Prebuilt binaries on mac require at least macOS version 14 (Apple Silicon) or version 15 (Intel) - Documentation: Revised installation guide - Developer: Improved workflow for creating wheels and added support for Linux ARM diff --git a/lib/stormpy/_version.py b/lib/stormpy/_version.py index e9139dfc6..b8045f577 100644 --- a/lib/stormpy/_version.py +++ b/lib/stormpy/_version.py @@ -1 +1 @@ -__version__ = "1.11.2" +__version__ = "1.11.3"