diff --git a/CHANGELOG.md b/CHANGELOG.md index 5647623f5..53253488f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,8 +7,8 @@ The releases of major and minor versions contain an overview of changes since th Version 1.4.x ------------- -### Version 1.4.1 (under development) -- Implemented Long run average computation for DTMCs/CTMCs via value iteration and via gain/bias equations. +### Version 1.4.1 (2019/12) +- Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations. - Added several LRA related settings in a new settings module. Note that `--minmax:lramethod` has been replaced by `--lra:nondetmethod`. ### Version 1.4.0 (2019/11) @@ -45,6 +45,7 @@ Version 1.4.x - Fixed compilation for macOS Mojave and higher. - Several bug fixes. + Version 1.3.x ------------- @@ -80,6 +81,7 @@ Version 1.3.x - `storm-gspn` improved - Sound value iteration + Version 1.2.x ------------- diff --git a/version.cmake b/version.cmake index 6800eea7d..5f396abc3 100644 --- a/version.cmake +++ b/version.cmake @@ -1,4 +1,4 @@ set(STORM_VERSION_MAJOR 1) set(STORM_VERSION_MINOR 4) -set(STORM_VERSION_PATCH 0) +set(STORM_VERSION_PATCH 1)