From 8ff68a5ea0244cd32833e77046c0cbb75bea6eff Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 17 Sep 2024 16:53:03 +0200
Subject: [PATCH] [Changelog] Remove references to not-yet-merged modifications
---
Changelog | 14 --------------
1 file changed, 14 deletions(-)
diff --git a/Changelog b/Changelog
index 541422a3b9..2670a87d15 100644
--- a/Changelog
+++ b/Changelog
@@ -41,14 +41,6 @@ o Eva [2024-07-31] Export profiling information about the analysis
performance via the new module Eva_perf in Eva.mli.
- Ivette [2024-07-26] New flamegraph component to visualize Eva analysis
time by C functions, in the "Eva Summary" view by default.
-- Kernel [2024-06-21] Support for ACSL (and external) modules.
-- Kernel [2024-06-21] New debug category printer:imported-modules
-o Dev [2024-06-21] New ACSL extension for external modules
-o! Dev [2024-06-21] 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-05-20] New ACSL extension loop unfold (replaces loop pragma UNROLL)
-! Kernel [2024-05-20] Removed loop pragma UNROLL annotations
o! Kernel [2024-05-20] Renamed module Unroll_loop into Unfold_loop
@@ -72,12 +64,6 @@ 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