From 1e7a1e171fb9440c95d3f72b4838ac9f57243cfb Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 19 Dec 2019 12:18:04 +0100 Subject: [PATCH] Updated CHANGELOG --- CHANGELOG.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 90dfc3c..329ca5b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,20 +6,22 @@ Version 1.4.x ### Version 1.4.2 (under development) -### Version 1.4.1 -Requires storm version >= 1.4.0 +### Version 1.4.1 (2019/12) +Requires storm version >= 1.4.1 and pycarl version >= 2.0.4 - Adaptions to changes in Storm - Extended simple accessors such as `parse_properties`, `model_checking`, to handle variety of inputs. - Added and extended environments - 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 InstantiationModelChecker for pMDPs and allow instations with rational numbers - 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 - Extended documentation, in particular examples. +- Fix for compilation with Xcode 11 + ### Version 1.4.0 Skipped for compatibility with Storm. @@ -44,6 +46,7 @@ Requires storm version >= 1.3.0 and pycarl version >= 2.0.3 - Extended documentation - Improved and extended setup + Version 1.2.x ------------- @@ -76,6 +79,7 @@ Version 1.0.x ------------- Skipped, to keep on par with storm + Version 0.9.x -------------