updated changelog

CHANGELOG.md

@@ -7,19 +7,24 @@ The releases of major and minor versions contain an overview of changes since th
 
 
 ### Version 1.2
-- c++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore.
+- C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore.
 - storm-cli-utilities now contains cli related stuff, instead of storm-lib
 - storm-pars: support for welldefinedness constraints in mdps.
-- symbolic (MT/BDD) bisimulation 
+- Symbolic (MT/BDD) bisimulation
 - Fixed issue related to variable names that can not be used in Exprtk.
 - DRN parser improved
-- LP based MDP model checking
+- LP-based MDP model checking
 - Sound (interval) value iteration
 - Support for Multi-objective multi-dimensional reward bounded reachability properties for MDPs.
+- RationalSearch method to solve equation systems exactly
+- WalkerChae method for solving linear equation systems with guaranteed convergence
+- Performance improvements for sparse model building
+- Performance improvements for conditional properties on MDPs
 - Features for developers:
 	* Solvers can now expose requirements
 	* unbounded reachability and reachability rewards now correctly respect solver requirements
 	* Environment variables (such as the solver precisions) can now be handled more flexible
+	* changes to Matrix-Vector operation interfaces, in particular fixed some issues with the use Intel TBB