From b895911c7d75da63102ed3c9e3ad5a13d5dce1a5 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 17 Jul 2018 16:48:13 +0200 Subject: [PATCH] New storm version containing fix for version parsing --- CHANGELOG.md | 3 +++ version.cmake | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index af9b3d6a8..21ad6718a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,9 @@ The releases of major and minor versions contain an overview of changes since th Version 1.2.x ------------- +### Version 1.2.3 (2018/07) +- Fix in version parsing + ### Version 1.2.2 (2018/07) - Sound value iteration (SVI) for DTMCs and MDPs - Topological solver for linear equation systems and MinMax equation systems (enabled by default) diff --git a/version.cmake b/version.cmake index 6a9d667db..b82fc11c5 100644 --- a/version.cmake +++ b/version.cmake @@ -1,4 +1,4 @@ set(STORM_VERSION_MAJOR 1) set(STORM_VERSION_MINOR 2) -set(STORM_VERSION_PATCH 2) +set(STORM_VERSION_PATCH 3)