From 78fb458154e1694fdb018a761997f739621ffa98 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 29 Nov 2017 20:38:39 +0100 Subject: [PATCH] updated changelog --- CHANGELOG.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 6a51f3aec..fe9cbd8ff 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,19 +7,24 @@ The releases of major and minor versions contain an overview of changes since th ### Version 1.2 -- c++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. +- C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. - storm-cli-utilities now contains cli related stuff, instead of storm-lib - storm-pars: support for welldefinedness constraints in mdps. -- symbolic (MT/BDD) bisimulation +- Symbolic (MT/BDD) bisimulation - Fixed issue related to variable names that can not be used in Exprtk. - DRN parser improved -- LP based MDP model checking +- LP-based MDP model checking - Sound (interval) value iteration - Support for Multi-objective multi-dimensional reward bounded reachability properties for MDPs. +- RationalSearch method to solve equation systems exactly +- WalkerChae method for solving linear equation systems with guaranteed convergence +- Performance improvements for sparse model building +- Performance improvements for conditional properties on MDPs - Features for developers: * Solvers can now expose requirements * unbounded reachability and reachability rewards now correctly respect solver requirements * Environment variables (such as the solver precisions) can now be handled more flexible + * changes to Matrix-Vector operation interfaces, in particular fixed some issues with the use Intel TBB