From bb06c9142a26e532a673b49cb67c99c058c0ee16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 23 Apr 2024 20:16:35 +0200
Subject: [PATCH] [Changelog] update wrt modules
---
Changelog | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/Changelog b/Changelog
index 2670a87d15..b76083b8d5 100644
--- a/Changelog
+++ b/Changelog
@@ -64,6 +64,12 @@ o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in
- Eva [2024-04-18] Remove support for deprecated WIDEN_HINTS loop pragma.
Use ACSL extension "widen_hints" instead.
o Kernel [2024-04-17] Remove deprecated funcs Extlib.string_{pre,suf}fix
+- 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. o Kernel [2024-04-17] Remove deprecated funcs
+Extlib.string_{pre,suf}fix
- Alias [2024-04-16] Fix analysis results in the presence of structures.
Complete rework of the API. Improved documentation. Fix stack
overflow in case of a cyclic graph.
--
GitLab