From 8a4e964ed9c19eaaf23c9006966d81306d054a3d Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 2 Dec 2019 17:53:39 +0100 Subject: [PATCH] updated changelog to reflect latest changes --- CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 87b754a..b3395d6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,6 +6,9 @@ Version 1.4.0 ### Version 1.4.0 (under development) 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. +- 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 @@ -14,6 +17,7 @@ Requires storm version >= 1.4.0 - 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. Version 1.3.x -------------