From 7cbddfeef639a1ec76e57f3d65a48fbadfbc66f1 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 13 Mar 2020 16:35:04 +0100
Subject: [PATCH] Updated changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b52e023b1..59df08de1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,8 @@ The releases of major and minor versions contain an overview of changes since th
 
 Version 1.5.x
 -------------
+## Version 1.5.1 (2020/03) (under development)
+- Jani models are now parsed using exact arithmetic.
 
 ## Version 1.5.0 (2020/03)
 - Added portfolio engine which picks a good engine (among other settings) based on features of the symbolic input.