From 772192fa67327b20103919de0696d64d3f2762a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 27 Jul 2020 17:05:01 +0200
Subject: [PATCH] Updates the Changelog for MR !2622.
---
Changelog | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Changelog b/Changelog
index 3cd809c4cb3..ca81d8698f7 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,10 @@
Open Source Release <next-release>
##################################
+- Eva [2020-07-27] Improved automatic loop unroll (-eva-auto-loop-unroll
+ option) on loops with several exit conditions, conditions using
+ equality operators, temporary variables introduced by the Frama-C
+ normalization or goto statements.
- Eva [2020-05-29] New builtins for trigonometric functions acos, asin
and atan (and their single-precision version acosf, asinf, atanf).
- Kernel [2020-05-28] Support for C11's _Thread_local storage specifier
--
GitLab