From 45e079622827c27acdb57d530444123a1b2b4032 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 6 Sep 2017 14:52:08 +0200
Subject: [PATCH] updated changelog

---
 CHANGELOG.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8e2e6c883..9fafa9849 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,7 +6,11 @@ The releases of major and minor versions contain an overview of changes since th
 
 Version 1.1.x
 -------------
-Long run average computation via ValueIteration, LP based MDP model checking, parametric model checking has an own binary
+- long run average computation via value iteration
+- LP based MDP model checking
+- parametric model checking has an own binary
+- solvers can now expose requirements
+- unbounded reachability and reachability rewards now correctly respect solver requirements
 
 ### Version 1.1.1
 - c++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore.