From 066593f4c1f425757cde9825572f9ca9d9bfa8d9 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 18 Feb 2020 15:28:21 +0100 Subject: [PATCH] Updated Changelog. --- CHANGELOG.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 3a5c36231..6adef128d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,9 @@ Version 1.4.x ------------- ## Version 1.4.2 (under development) +- Added portfolio engine which picks a good engine (among other settings) based on features of the symbolic input +- Setting `--engine dd-to-sparse --bisimulation` now triggers extracting the sparse bisimulation quotiont +- JIT model building is now invoked via `--engine jit` (instead of `--jit`) - DRN: support import of choice labelling - `storm-pomdp`: Only accept POMDPs that are canonical - `storm-pomdp`: Prism language extended with observable expressions