From b665117381ffd5a6c0769616358a1a5d16d1a27f Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 24 Nov 2017 15:14:04 +0100
Subject: [PATCH] updated changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8e4c84799..de7e291e3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,10 +8,11 @@ Version 1.1.x
 -------------
 - 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
 - sound (interval) value iteration
+- Support for Multi-objective multi-dimensional reward bounded reachability properties for MDPs.
+- Developers can now change environment variables (such as the solver precisions) locally. 
 
 ### Version 1.1.1
 - c++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore.