From e66605a43f7912c090a05aa742ab948833d7e40b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 30 Apr 2024 17:08:49 +0000
Subject: [PATCH] Update Changelog following !4596
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index f97d9e8f549..236f0ea7884 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
Open Source Release <next-release>
###############################################################################
+- Kernel [2024-04-30] new warning category too-large-array, allowing to
+ use array > SIZE_MAX by changing its status (default is error).
o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in
the user manual about how to manually replace it.
-! Kernel [2024-04-19] Change format of custom_defs field in machdep schema
--
GitLab