From c7b977a5e91dee969c4d03fffef01e5b81bd7411 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 24 Sep 2024 11:59:48 +0200
Subject: [PATCH] Fix and update Changelog after !4521
---
Changelog | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/Changelog b/Changelog
index 7e2d377a44..0234090820 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,11 @@
Open Source Release <next-release>
###############################################################################
+- Kernel [2024-09-23] Support for ACSL modules.
+- Kernel [2024-09-23] Extension for importing external modules in ACSL
+o Kernel [2024-09-23] API to register ACSL extern modules import functions
+o! Kernel [2024-09-23] Move functions for finding logic types, functions,
+ predicates and constructors from Logic_typing to Logic_env.
- Kernel [2024-09-20] New warning category typing:implicit-int, allowing
to omit type specifiers in declarations (default is error).
o! Kernel [2024-09-13] Pragma nodes in the AST have been removed
@@ -56,9 +61,6 @@ Open Source Release 29.0 (Copper)
use array > SIZE_MAX by changing its status (default is error).
- Eva [2024-04-26] Improve builtins memcpy, memmove and memset when
arguments are imprecise.
-- Kernel [2024-04-22] Support for ACSL modules.
-o! Dev [2024-04-22] Move functions for finding logic types, functions,
- predicates and constructors from Logic_typing to Logic_env.
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