diff --git a/CHANGELOG.md b/CHANGELOG.md index 63cab4b..5abc79a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,11 @@ Changelog Version 0.9 ----------- +### Current + +- Bindings for storm-pars +- Bindings for graph constraints + ### Version 0.9.1 (2017/4) - Bindings for DFTs @@ -12,4 +17,4 @@ Version 0.9 - Improved building system, read flags from storm build system ### Version 0.9 (2017/3) -Start of this changelog \ No newline at end of file +Start of this changelog