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.