From 7a2082eb54fe25a631931328c10677aeee40ebf8 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 7 Sep 2020 14:04:25 +0200 Subject: [PATCH] Updated CHANGELOG --- CHANGELOG.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ad7d56f..17cfbbf 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,10 +6,13 @@ Version 1.6.x ### Version 1.6.1 (under development) +- Adaptions to changes in Storm - Explicit State Lookup: Finding a state based on the variable values - Support for pPOMDPs - (p)POMDPs: Support for unfolding memory, making POMDPs simple, and exporting POMDP to a pMC - Export to DRN options to support exporting without placeholders +- Renamed `preprocess_prism_program` to `preprocess_symbolic_input` +- Bindings for Storm-dft; most notably transformations, symmetries and relevant events ### Version 1.6.0 (2020/06) Requires storm version >= 1.6.0 and pycarl version >= 2.0.4