New storm version containing fix for version parsing

6 years ago · b895911c7d
2 changed files with 4 additions and 1 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -7,6 +7,9 @@ The releases of major and minor versions contain an overview of changes since th
 Version 1.2.x
 -------------
 ### Version 1.2.3 (2018/07)
 - Fix in version parsing
 ### Version 1.2.2 (2018/07)
 - Sound value iteration (SVI) for DTMCs and MDPs
 - Topological solver for linear equation systems and MinMax equation systems (enabled by default)
--- a/version.cmake
+++ b/version.cmake
@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
 set(STORM_VERSION_MINOR 2)
 set(STORM_VERSION_PATCH 2)
 set(STORM_VERSION_PATCH 3)