From 3883c99ed0b89de2f3f10ea564102749c56d7dc1 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Fri, 4 Sep 2020 14:53:53 +0200 Subject: [PATCH] Storm Version 1.6.1 --- CHANGELOG.md | 2 +- version.cmake | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d9b1274da..f9a228274 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,7 +8,7 @@ The releases of major and minor versions contain an overview of changes since th Version 1.6.x ------------- -## Version 1.6.1 (??) +## Version 1.6.1 (2020/09) - Prism program simplification improved. - Revamped implementation of long-run-average algorithms, including scheduler export for LRA properties on Markov automata. - Support for step-bounded properties of the form ... [F[x,y] ... ] for DTMCs and MDPs (sparse engine). diff --git a/version.cmake b/version.cmake index 801d8403c..ef412f960 100644 --- a/version.cmake +++ b/version.cmake @@ -1,4 +1,4 @@ set(STORM_VERSION_MAJOR 1) set(STORM_VERSION_MINOR 6) -set(STORM_VERSION_PATCH 0) +set(STORM_VERSION_PATCH 1)