From f9f6b90cc2869111d67c9be9b9739c0d5ea55db5 Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 20 Aug 2018 09:52:05 +0200 Subject: [PATCH] updated changelog --- CHANGELOG.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 21ad6718a..637e9e21b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,14 @@ The releases of major and minor versions contain an overview of changes since th Version 1.2.x ------------- +### Version 1.2.4 (2018/08) +- New binary `storm-conv` that handles conversions between model files (currently: prism to jani) +- Added support for expected time properties for discrete time models +- Several bug fixes related to jani +- `storm-gspn`: Improved .pnpro parser +- `storm-gspn`: Added option to set a global capacity for all places +- `storm-gspn`: Added option to include a set of standard properties when converting GSPNs to jani + ### Version 1.2.3 (2018/07) - Fix in version parsing