From e12a368c89d326a23ac4d9a1b42368a639ca3617 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 29 Nov 2019 10:59:18 +0100
Subject: [PATCH] Updates the Changelog.
---
Changelog | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/Changelog b/Changelog
index e45deb4ca12..22925cf250a 100644
--- a/Changelog
+++ b/Changelog
@@ -21,10 +21,15 @@ Open Source Release <next-release>
Open Source Release 20.0 (Calcium)
####################################
+- Eva [2019/11/25] In the summary, fixes the number of alarms by
+ category when the RTE plugin is used, and do not count logical
+ properties in dead code as proven.
-! Kernel [2019/10/31] More stringent verifications on the use of ghost
variable in non ghost-code. Fixes #2421
- MdR [2019/10/31] New plug-in Markdown-Report (MdR) for markdown and
SARIF outputs
+- Eva [2019/10/23] In the summary, fixes the total number of functions
+ (and thus the computed analysis coverage).
- 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
--
GitLab