From cf8337583b6384228286caa5315f9d80a0123355 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 13 Dec 2019 14:29:18 +0100 Subject: [PATCH] Storm version 1.4.1 --- CHANGELOG.md | 6 ++++-- version.cmake | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) 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)