From 8d9e2a92f03b713aee2a4b6b65737cc5c8c54856 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Fri, 21 Aug 2020 12:52:16 -0700
Subject: [PATCH] update changelog

---
 CHANGELOG.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 59fd8bc0b..260af909b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,7 +11,9 @@ Version 1.6.x
 ## Version 1.6.1 (??)
 - Prism program simplification improved
 - Revamped implementation of long-run-average algorithms, including scheduler export for LRA properties on Markov automata
-- `storm-pomdp`: Fix for --transformsimple and --transformbinary when used with until formulae
+- Support for step-bounded properties of the form ... [F[x,y] ... ] for DTMCs and MDPs (sparse engine). 
+- `storm-pomdp`: Fix for --transformsimple and --transformbinary when used with until formulae.
+- `storm-pomdp`: POMDPs can be parametric as well
 
 ## Version 1.6.0 (2020/06)
 - Changed default Dd library from `cudd` to `sylvan`. The Dd library can be changed back to `cudd` using the command line switch `--ddlib`.