From f5b2db2312ec1b6fe3b6ab64faa671780350578a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 8 Oct 2024 07:28:05 +0000
Subject: [PATCH] Update Changelog following !4738

---
 Changelog | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Changelog b/Changelog
index 3c562140b1..bad19ae333 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,11 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Kernel    [2024-10-08] Asm contracts can now have \initialized ensures.
+              See option -asm-contracts-ensure-init
+-   Kernel    [2024-10-08] Option for converting stmt contracts into
+              ACSL assert for plug-ins with incomplete stmt contract support
+              See option -inline-stmt-contracts
 *   RTE       [2024-10-04] Fixed missing assertion on modulo signed overflow.
 *   Eva       [2024-10-04] Fixed missing signed overflow alarm on modulo.
 -   Eva       [2024-10-04] Fewer false alarms of signed overflow on divisions.
-- 
GitLab