From 0a7f94f0b70cedc79b82728c524ad178c2d6d8d3 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 29 Nov 2019 18:02:54 +0100 Subject: [PATCH] updated changelog --- CHANGELOG.md | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index e4c805a..87b754a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,13 +1,22 @@ Changelog ============= -Version 1.3.x +Version 1.4.0 ------------- -### Version 1.3.1 (under development) +### Version 1.4.0 (under development) +Requires storm version >= 1.4.0 - Changed constructor of `ParameterRegion` to take a valuation instead of string. Use `ParameterRegion.create_from_string()` to create a region from string. +- Added InstantiationModelChecker for pMDPs +- Added transformation of CTMCs to DTMCs +- Further bindings for Prism Programs and their preprocessing +- SettingsManager updated +- Allow building models annotated with valuations +- A custom state exploration that allows to explore successor states of a prism program +Version 1.3.x +------------- ### Version 1.3.0 (2019/01) Requires storm version >= 1.3.0 and pycarl version >= 2.0.3