Storm version 1.8.0 (#383)

moves-rwth · May 31, 2023 · fd1fe70 · fd1fe70
1 parent 10d6ba8
commit fd1fe70
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,10 +5,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.7.x
+Version 1.8.x
 -------------
 
-## Version 1.7.1
+## Version 1.8.0
 - Revised implementation of value iteration algorithms and its variants, fixing a bug in the optimistic value iteration heuristic.
 - Experimental support for compiling on Apple Silicon
 - Added SoPlex as a possible LP solver
@@ -24,6 +24,9 @@ Version 1.7.x
 - Developer: LpSolver interface now supports RawMode (to avoid overhead of `storm::expression`) and indicator constraints
 
 
+Version 1.7.x
+-------------
+
 ## Version 1.7.0 (2022/07)
 - Fixed a bug in LP-based MDP model checking.
 - DRN Parser is now more robust, e.g., it does no longer depend on tabs.

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