From 3a9275603e9d168b9b89d9659b22cd9c68678299 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 26 Oct 2021 17:57:35 +0200
Subject: [PATCH] [Eva] Fixes Changelog.
---
Changelog | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/Changelog b/Changelog
index a791b33c429..e403ba0db67 100644
--- a/Changelog
+++ b/Changelog
@@ -21,10 +21,10 @@ Open Source Release <next-release>
Open Source Release 24.0 (Chromium)
###################################
-- Eva [2021-10-19] New options to allow states partitioning to be kept
- after function returns: -eva-interprocedural-split for splits from
- annotations, and -eva-interprocedural-history for disjunctions
- from the -eva-partition-history option.
+- Eva [2021-10-19] New options to allow states partitioning to survive
+ function returns: -eva-interprocedural-split for disjunctions
+ from split annotations, and -eva-interprocedural-history for
+ disjunctions from the -eva-partition-history option.
- Eva [2021-10-14] Supports the evaluation of ACSL set comprehension.
- Eva [2021-10-14] On a SIGINT signal (Ctrl-C), the analysis is stopped
but partial results are saved if option -save is set.
@@ -36,7 +36,7 @@ Open Source Release 24.0 (Chromium)
- Eva [2021-10-06] Improves the precision of the octagon domain on
unsigned variables.
-* Eva [2021-10-06] Fixes a soundness bug in the octagon domain on
- integer downcasts.
+ integer downcasts wrapping around.
- Eva [2021-09-10] Improves the symbolic-locations domain precision.
- Kernel [2021-09-02] 0-sized flexible array members only available in
gcc_* machdeps, that now also support FAM in nested struct.
--
GitLab