Storm version 1.5.1

moves-rwth · Mar 16, 2020 · afbfd42 · afbfd42
1 parent d605a3b
commit afbfd42
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,7 +7,7 @@ The releases of major and minor versions contain an overview of changes since th
 
 Version 1.5.x
 -------------
-## Version 1.5.1 (2020/03) (under development)
+## Version 1.5.1 (2020/03)
 - Jani models are now parsed using exact arithmetic.
 
 ## Version 1.5.0 (2020/03)

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