From 74fa68bbcda5358650c4bd3e21b718e8f1b9b073 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 18 Dec 2019 15:47:15 +0100 Subject: [PATCH] updated changelog --- CHANGELOG.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index b3395d6..90dfc3c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,10 +1,12 @@ Changelog ============= -Version 1.4.0 +Version 1.4.x ------------- -### Version 1.4.0 (under development) +### Version 1.4.2 (under development) + +### Version 1.4.1 Requires storm version >= 1.4.0 - Adaptions to changes in Storm - Extended simple accessors such as `parse_properties`, `model_checking`, to handle variety of inputs. @@ -19,6 +21,10 @@ Requires storm version >= 1.4.0 - A custom state exploration that allows to explore successor states of a prism program - Extended documentation, in particular examples. +### Version 1.4.0 +Skipped for compatibility with Storm. + + Version 1.3.x -------------