diff --git a/CHANGELOG.md b/CHANGELOG.md index 7616f40..ce1c4a0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,7 @@ Changelog Version 1.3.x ------------- -### Version 1.3.0 (2018/12) +### Version 1.3.0 (2019/01) Requires storm version >= 1.3.0 and pycarl version >= 2.0.2 - Adaptions to changes in Storm - Bindings for symbolic models: @@ -18,6 +18,7 @@ Requires storm version >= 1.3.0 and pycarl version >= 2.0.2 - Extended PLA bindings - Extended DFT bindings - Extended documentation +- Improved and extended setup Version 1.2.x -------------