From 3d0cb0ad8ff75ffa6c774125de2dd1fc8083022b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 10 Apr 2020 15:35:04 +0200
Subject: [PATCH] Updates the Changelog for MR !2599.
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 5f91ac2bd11..1a24b1ee345 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+- Eva [2020/04/10] Fixes the Memexec cache on functions with logical
+ annotations about variables unused in the C body of the function.
- Eva [2020/04/06] New option -eva-domains-function to enable domains
only on given functions. Argument <d:f> enables the domain [d]
on function [f], while <d:f+> also enables it on all functions
--
GitLab