From d62b2ff6b03cadae64ce52b866b5fc505b6f17fc Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 17 Mar 2020 13:58:18 +0100
Subject: [PATCH] update Changelog
---
Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Changelog b/Changelog
index 10062ae0ed8..b9a336959a4 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,9 @@
Open Source Release <next-release>
##################################
+- Eva [2020/03/17] Supports the ACSL extended quantifiers \min and \max.
+- Eva [2020/03/17] deprecate options -eva-*-domain in favor of
+ -eva-domains
- ACSL [2020/03/04] Make conversion from C ptr to logic array explicit
- Eva [2020/03/03] Evaluates the logic predicate memchr_off, used in
Frama-C libc specifications.
--
GitLab