From 51d2b20023807f71760ab5f897f4508450c2a32e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Thu, 10 Jan 2019 15:09:05 +0100 Subject: [PATCH] Updates the Changelog. --- Changelog | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Changelog b/Changelog index a33504178e2..d95a4f95aa1 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,8 @@ Open Source Release <next-release> ################################## +- Eva [2019/01/10] Improved precision on nested loops (by postponing + the widening on inner loops according to -eva-widening-period). - Kernel [2019/01/03] Add attributes for loop statements to allow distinguishing between for, while and dowhile loops. -! Kernel [2019/01/03] Add statement attributes (sattr) to the AST. They -- GitLab