From 9c14d1586c450b63485ce55d9cc6e82efdf26d96 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 21 Oct 2019 17:47:16 +0200
Subject: [PATCH] [Eva] Adds a Changelog entry for the automatic loop
 unrolling.

---
 Changelog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Changelog b/Changelog
index 8c9a705d3c3..c4be996965f 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2019/10/23] New option -eva-auto-loop-unroll N to unroll all
+              loops whose number of iterations can be easily bounded by <N>.
 -   Eva       [2019/10/21] New octagon domain inferring relations of the form
               l ≤ ±X±Y ≤ e between pairs of integer variables X and Y. Enabled
               with option -eva-octagon-domain. Only infers relations between
-- 
GitLab