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