From c74b251645e7eb693d835c792e45321d24054b7b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 7 Mar 2024 08:12:41 +0000
Subject: [PATCH] Update Changelog after merging !4335
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 261ad3870b9..34b4bcedbe9 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
Open Source Release <next-release>
###############################################################################
+o! Kernel [2024-03-07] More coherent naming of functions determining if a
+ symbol is a Frama-C built-in.
-* Kernel [2024-03-04] Accept conditional expr whose 2d and 3d operands
have type void, as per C11 6.5.15§3
-* Kernel [2024-02-22] When an array is declared with a fixed length l,
--
GitLab