diff --git a/CHANGELOG.md b/CHANGELOG.md index 59df08de1..b76fa2dc7 100644 --- 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 index 9936858f5..366226594 100644 --- 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)