From 90f3c1fb8300dca5efe511f0ae50832d4743fd6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 14 Feb 2020 17:53:12 +0100
Subject: [PATCH] Retroactively updates the Changelog for Eva.
---
Changelog | 19 ++++++++++++++++++-
1 file changed, 18 insertions(+), 1 deletion(-)
diff --git a/Changelog b/Changelog
index c3db23df9f0..b987a831ba8 100644
--- a/Changelog
+++ b/Changelog
@@ -31,9 +31,26 @@ o Kernel [2020/02/13] Deprecated:
- Cil_printer.register_*_extension
- Cil.register_behavior_extension
Use Acsl_extension.register_* instead
-o! Kernel [2020/02/04] Removed FCBuffer, FCMap and FCSet. Use directly
+- Eva [2020/02/12] New option "-eva-domains <d1>,<d2>,..." to enable
+ several domains at once. The list of available domains is given
+ in the help message of the option.
+o! Eva [2020/02/12] Simplifies abstract domain signature by removing the
+ Transfer functor.
+-* Eva [2020/02/12] Fixes the evaluation of logic predicates involving
+ empty sets.
+- Eva [2020/02/07] Supports the logic evaluation of quantifiers
+ introducing mathematical variables (integer or real).
+o! Kernel [2020/02/04] Removed FCBuffer, FCMap and FCSet. Use directly
OCaml stdlib modules Buffer, Map and Set instead.
+- Eva [2020/02/04] Renamed option -eva-malloc-functions into
+ -eva-alloc-functions. Also contains calloc and realloc by default.
-* GUI [2020/01/24] Fix order of globals in the source panel.
+- Eva [2020/01/23] Adds consistency checks on return and parameters
+ types between a builtin and the replaced C function.
+- Eva [2020/01/23] Subdivisions can now be enabled locally:
+ - through the new option -eva-subdivide-non-linear-function that
+ overrides the global option for the given functions;
+ - via /*@ subdivide N; */ annotations on specific statements.
##################################
Open Source Release 20.0 (Calcium)
--
GitLab