From 97b248ec8f7a17a8d9f66887387108fda8cf9a6a Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 4 Oct 2018 10:28:03 +0200 Subject: [PATCH] Updated changelog --- CHANGELOG.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 63f102b4d..07b456a31 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,11 +8,15 @@ Version 1.2.x ------------- ### Version 1.2.4 (2018/08) -- New binary `storm-conv` that handles conversions between model files (currently: prism to jani) +- 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 - Added support for expected time properties for discrete time models - Bug fix in the parser for DRN (MDPs and MAs might have been affected). -- Several bug fixes related to jani -- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. - `storm-gspn`: Improved .pnpro parser - `storm-gspn`: Added support for single/infinite/k-server semantics for GSPNs given in the .pnpro format - `storm-gspn`: Added option to set a global capacity for all places