From aacdf5c0b5fd5d8cb700b3d22ff6793bcd1afa02 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 7 Dec 2018 16:16:47 +0100 Subject: [PATCH] Updated changelog. --- CHANGELOG.md | 25 +++++++++++-------------- 1 file changed, 11 insertions(+), 14 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 88b9d62f0..665781bd9 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,26 +11,13 @@ Version 1.3.x ### Version 1.3.0 (2018/12) - Slightly improved scheduler extraction - Environments are now part of the c++ API - - -### Comparison with Version 1.2.0 (details see below) -- Heavily extended JANI-support -- New binary `storm-conv` that handles conversion between model files -- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. -- `storm-gspn` improved -- Sound value iteration - -Version 1.2.x -------------- - -### Version 1.2.4 (2018/08) - Heavily extended JANI support, in particular: * arrays, functions, state-exit-rewards (all engines) * indexed assignments, complex reward expressions (sparse engine) * several jani-related bug fixes - New binary `storm-conv` that handles conversions between model files - New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. -- Closing a Markov automaton now removes unreachable states +- Maximal progress assumption is now applied while building Markov Automata (sparse engine). - Added support for expected time properties for discrete time models - Bug fix in the parser for DRN (MDPs and MAs might have been affected). - `storm-gspn`: Improved .pnpro parser @@ -39,6 +26,16 @@ Version 1.2.x - `storm-gspn`: Added option to include a set of standard properties when converting GSPNs to jani - `storm-pars`: Added possibility to compute the extremal value within a given region using parameter lifting +### Comparison with Version 1.2.0 (details see below) +- Heavily extended JANI-support +- New binary `storm-conv` that handles conversion between model files +- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. +- `storm-gspn` improved +- Sound value iteration + +Version 1.2.x +------------- + ### Version 1.2.3 (2018/07) - Fix in version parsing