From 1c846ad3fa05b759b33c16d3bb65ebf8b5b4d46a Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 30 Jun 2017 18:15:15 +0200 Subject: [PATCH] Updated changelog --- CHANGELOG.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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