From a9a91a58f4e329b30c491e8a61217bb89dafd389 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 4 Oct 2024 17:01:27 +0200
Subject: [PATCH] Updates Changelog for MR !4809.
---
Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Changelog b/Changelog
index 14ce523618..3c562140b1 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,9 @@
Open Source Release <next-release>
###############################################################################
+* 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.
o! Kernel [2024-09-30] ACSL extensions are now associated to a plug-in,
allowing the registration of several extensions with the same name
from different plug-ins
--
GitLab