From 29c3583fe04f7b32533346dc83dc2bda746bdf77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 8 Mar 2019 11:24:52 +0100
Subject: [PATCH] [Eva] Retrospectively updates the Changelog.
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 30e036731a7..aa057af0616 100644
--- a/Changelog
+++ b/Changelog
@@ -52,6 +52,8 @@ o Kernel [2019/02/05] Integer API moving closer to Zarith
are not printed by default, use -kernel-msg-key printer:attrs
-! Kernel [2019/01/03] Improved precision of integer abstract bitwise
operators.
+-* Eva [2018/12/17] Fixes -eva-split-return on uninitialized or escaping
+ function returns when -eva-warn-copy-indeterminate is disabled.
o Kernel [2018/12/11] New functions for retrieving major and minor version
-* Kernel [2018/12/04] Fixes AST integrity check wrt volatile accesses
-* Kernel [2018/11/21] Fixes #@553 - pretty-printing of basic asm template
--
GitLab