From e9ad0264a139cad61987eaf654aad0250c2c090f Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 11 Dec 2017 14:20:58 +0100 Subject: [PATCH] Updated changelog --- CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8bfd873..cecf1b4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,6 +10,10 @@ Requires storm version >= 1.2.0 and pycarl version >= 2.0.2 - Adaptions to changes in Storm - Bindings for simplification of parametric models - Handling of rewards +- Building of model with all labels if no formula is given +- Support for `submatrix()` +- Extended documentation +- Extended build script ### Version 1.1.0 (2017/08) Requires storm version >= 1.1.0