From 2cd54a1e0d3d943a49ed8cf814197e4fef2a3d3a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 21 Jun 2018 10:38:25 +0200
Subject: [PATCH] Updated CHANGELOG

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 41f4233..d5e60a5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,14 @@ Version 1.2.x
 
 ### Version 1.2.x
 Requires storm version >= 1.2.2 and pycarl version >= 2.0.2
+- Adaptions to changes in Storm
+- Bindings for symbolic models:
+    * building symbolic models
+    * bisimulation
+    * transforming symbolic to sparse models
+- Extraction of schedulers and queries on schedulers
+- Extended PLA bindings
+- Extended documentation
 
 ### Version 1.2.0
 Requires storm version >= 1.2.0 and pycarl version >= 2.0.2