From 33e6d3556949b7bbc973dc385df969e51347b321 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 20 Jun 2024 10:03:27 +0200
Subject: [PATCH] Fix Changelog
---
Changelog | 9 +++------
1 file changed, 3 insertions(+), 6 deletions(-)
diff --git a/Changelog b/Changelog
index c8b93c561f2..75135d67421 100644
--- a/Changelog
+++ b/Changelog
@@ -18,9 +18,9 @@
Open Source Release <next-release>
###############################################################################
-- Kernel [2024-05-18] New ACSL extension loop unfold (replaces loop pragma UNROLL)
--! Kernel [2024-05-18] Removed loop pragma UNROLL annotations
-o! Kernel [2024-05-18] Renamed module Unroll_loop into Unfold_loop
+- 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
###############################################################################
Open Source Release 29.0 (Copper)
@@ -38,9 +38,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-18] New ACSL extension loop unroll (replaces loop pragma UNROLL)
--! Kernel [2024-04-18] Removed all loop pragma annotations
-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