From d1b34e35720b1cc87cee0bb931a72c29e4b34a82 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 26 May 2020 15:57:46 -0700
Subject: [PATCH] changelog updated with storm-pomdp change

---
 CHANGELOG.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5fb7d1140..643ee03bf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -18,6 +18,7 @@ Version 1.5.x
 - `storm-dft`: Renamed setting `--show-dft-stats` to `dft-statistics` and added approximation information to statistics.
 - `storm-pomdp`: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property.
 - `storm-pomdp`: Implemented almost-sure reachability computations: graph-based, one-shot SAT-based, and iterative SAT-based
+- `storm-pomdp': Various changes such that transformation to pMCs is now again supported (and improved)
 
 ## Version 1.5.1 (2020/03)
 - Jani models are now parsed using exact arithmetic.