From 543f5d3529fb15a88f5a64ff5be6235fc66ed237 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 7 Dec 2017 18:12:24 +0100 Subject: [PATCH] Updated Changelog --- CHANGELOG.md | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8b0f444..8bfd873 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,20 +1,22 @@ Changelog -============== +============= + Version 1.1.x ------------- -### Version 1.1.1 - +### Version 1.2.0 +Requires storm version >= 1.2.0 and pycarl version >= 2.0.2 +- Adaptions to changes in Storm - Bindings for simplification of parametric models - +- Handling of rewards ### Version 1.1.0 (2017/08) - -- Bindings for storm-pars +Requires storm version >= 1.1.0 +- Bindings for `storm-pars` - Bindings for graph constraints - Bindings for handling JANI files -- Moved expressions from own module into storage module +- Moved expressions from own module into `storage` module - Travis support for build process - Tests for documentation - Updated pybind version @@ -28,11 +30,10 @@ Version 0.9.x ------------- ### Version 0.9.1 (2017/04) - - Bindings for DFTs - Bindings for PLA -- Updated to pycarl v2 (support for both cln and gmp) +- Updated to pycarl version 2.0.0 (support for both CLN and GMP) - Improved building system, read flags from storm build system ### Version 0.9 (2017/03) -Start of this changelog +- Start of this changelog \ No newline at end of file