Storm version 1.9.0 (#596)

moves-rwth · Aug 21, 2024 · 5d5ebe4 · 5d5ebe4
1 parent 50583e8
commit 5d5ebe4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,10 +4,10 @@ Changelog
 This changelog lists only the most important changes. Smaller (bug)fixes as well as non-mature features are not part of the changelog.
 The releases of major and minor versions contain an overview of changes since the last major/minor update.
 
-Version 1.8.x
+Version 1.9.x
 -------------
 
-## Version 1.8.2
+## Version 1.9.0 (2024/08)
 - Improved expected visiting times (EVTs) and steady state distribution computations.
 - Support for interval-based models.
 - Robust VI.
@@ -34,6 +34,10 @@ Version 1.8.x
 - Developer: Revised includes and use pre-compiled headers.
 - Developer: Fixed various compiler warnings.
 
+
+Version 1.8.x
+-------------
+
 ## Version 1.8.1 (2023/06)
 - Workaround for issue with Boost >= 1.81
 

diff --git a/version.cmake b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
-set(STORM_VERSION_MINOR 8)
-set(STORM_VERSION_PATCH 1)
+set(STORM_VERSION_MINOR 9)
+set(STORM_VERSION_PATCH 0)