From 60ad6bb59875a711a4be4af6ee2fb713f78a1193 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 18 Oct 2019 13:13:03 +0200
Subject: [PATCH] Retroactively updates the Changelog with Eva changes for
Calcium.
---
Changelog | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/Changelog b/Changelog
index cbaba73e633..65f7db922ae 100644
--- a/Changelog
+++ b/Changelog
@@ -17,9 +17,17 @@
Open Source Release <next-release>
##################################
+- Eva [2019/10/04] Evaluates ACSL predicates \is_plus_infinity and
+ \is_minus_infinity.
+- Kernel [2019/10/04] Supports macro INFINITY and NAN.
o Config [2019/09/27] ocp-indent 1.7.0 is now used for indentation
+o Eva [2019/09/16] Dynamic registration of abstract values and domains:
+ developers of new domains no longer need to modify Eva's engine.
+-* Kernel [2019/09/13] Fixes Hptmap on keys with id greater than 2^28.
-* Makefile [2019/09/12] Fixes #2378 - bytecode only compilation (patch
contributed by madroach) and use -thread where needed.
+-* Eva [2019/08/21] Fixes the reduction by the negation of \initialized
+ and \dangling predicates on imprecise lvalues.
-* Kernel [2019/08/20] Fixes a rare but critical bug which occured when
Frama-C internally switched the current project in presence of >2
projects and destroyed the old current project at about the same
@@ -40,6 +48,8 @@ o! Sparecode [2019/07/26] Removed from Db. Use proper Sparecode API instead.
-! Kernel [2019/07/24] OCaml version greater than or equal to 4.05.0 required.
- Kernel [2019/07/24] Improve placeholders handling in -cpp-command
o! Kernel [2019/07/23] Types in Properties are now records and not tuples
+- Eva [2019/07/09] Supports ACSL floating-point comparison operators
+ eq_float, le_float, eq_double, le_double, etc.
o! Kernel [2019/06/28] removes AST constructors TCoerce, TCoerceE,
PLCoercion, PLCoercionE, Psubtype and PLsubtype
-* Kernel [2019/06/20] fixes dangling ref when removing unused static local
--
GitLab