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