Updated changelog

7 years ago · e9ad0264a1
1 changed files with 4 additions and 0 deletions
--- 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