From 361a2e4b0f0aabf1f27b2cc2303873548c358f7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 4 May 2022 09:53:15 +0200
Subject: [PATCH] [Eva] Retroactively updates the Changelog for the new Eva
API.
---
Changelog | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Changelog b/Changelog
index 6f9defaad92..9459f314366 100644
--- a/Changelog
+++ b/Changelog
@@ -34,6 +34,10 @@ o! Kernel [2022-02-23] Remove State_selection.Static (deprecated since
integer literal constants
* Kernel [2022-02-17] Reject programs using unsupported
vector_size attribute (fixes ##2573)
+o Eva [2022-02-15] New API to run the analysis and access its results,
+ intended to replace the old API in Db.Value. It is more precise
+ as it uses all available domains to evaluate values and locations.
+ See file Eva.mli for more details.
* Kernel [2022-02-08] Reject array whose size is too big with a proper
error message instead of a crash (fixes ##2590)
o! Kernel [2022-01-19] Removed obsolete AST nodes IndexPI and Info
--
GitLab