From d08807ea0e41ddd4e4db4bdb67dd58dcd7abddf2 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 18 Mar 2020 08:08:08 +0100
Subject: [PATCH] Update Changelog after merging !2569
---
Changelog | 1 +
1 file changed, 1 insertion(+)
diff --git a/Changelog b/Changelog
index b9a336959a4..4902c1fc4f6 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,7 @@
Open Source Release <next-release>
##################################
+-* Kernel [2020/03/18] Fixes #@818 (term generated for downcast alarms)
- 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
--
GitLab