From cf444dc97f031716c9a10f0b7e0ac5036caeeb71 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 3 Jan 2019 12:47:09 +0100
Subject: [PATCH] [Ival] Update changelog
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 9d8f9ba13e5..a33504178e2 100644
--- a/Changelog
+++ b/Changelog
@@ -21,6 +21,8 @@ Open Source Release <next-release>
distinguishing between for, while and dowhile loops.
-! Kernel [2019/01/03] Add statement attributes (sattr) to the AST. They
are not printed by default, use -kernel-msg-key printer:attrs
+-! Kernel [2019/01/03] Improved precision of integer abstract bitwise
+ operators.
################################
Open Source Release 18.0 (Argon)
--
GitLab