From aaf22508a1d0d8352293dbadf87b1bc9e8f28bef Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 7 Dec 2018 14:12:59 +0100 Subject: [PATCH] update changelog in preparation of release --- CHANGELOG.md | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0e51bc5..7616f40 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,22 +1,27 @@ Changelog ============= - -Version 1.2.x +Version 1.3.x ------------- -### Version 1.2.x -Requires storm version >= 1.2.2 and pycarl version >= 2.0.2 +### Version 1.3.0 (2018/12) +Requires storm version >= 1.3.0 and pycarl version >= 2.0.2 - Adaptions to changes in Storm - Bindings for symbolic models: * building symbolic models * bisimulation * transforming symbolic to sparse models - Extraction of schedulers and queries on schedulers +- High-level counterexamples connected +- Drastically extended JANI bindings +- Extended bindings for expressions - Extended PLA bindings - Extended DFT bindings - Extended documentation +Version 1.2.x +------------- + ### Version 1.2.0 Requires storm version >= 1.2.0 and pycarl version >= 2.0.2 - Adaptions to changes in Storm