From c7e42eb8eb21747da2d2ac14d974940b1cc65218 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 25 Sep 2023 17:57:20 +0200
Subject: [PATCH] [eva] update Changelog
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 9d9a0e825cf..25b0b64303f 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
Open Source Release <next-release>
###############################################################################
+- Eva [2023-09-26] Support evaluation of simple \let bindings in
+ ACSL terms and predicates.
- Alias [2023-09-07] New alias plugin that implements a points-to
analysis and an alias analysis based on Steensgaard's algorithm.
For these purposes it presents a more efficient (albeit less
--
GitLab