From c0c60b77aab9dde5470d5f6c9ca572338505da83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 7 Apr 2020 11:41:16 +0200
Subject: [PATCH] Updates the Changelog for MR !2581.
---
Changelog | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/Changelog b/Changelog
index 1d2fb8f1988..5f91ac2bd11 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,10 @@
Open Source Release <next-release>
##################################
+- 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
+ called from [f]. <d:f-> disables [d] from function [f].
- Eva [2020/04/03] New experimental builtins for dynamic allocation
Frama_C_*alloc_imprecise: faster convergence, but very imprecise.
- Kernel [2020/04/01] Report user errors when keys are not bound to a
--
GitLab