From 17b9117959ea54bae00b18522cda4601bb2313f5 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 2 Apr 2024 15:01:48 +0000
Subject: [PATCH] [Changelog] make formatting coherent with previous entries.
---
Changelog | 44 +++++++++++++++++++++-----------------------
1 file changed, 21 insertions(+), 23 deletions(-)
diff --git a/Changelog b/Changelog
index f680df12a19..604c6ff4cbd 100644
--- a/Changelog
+++ b/Changelog
@@ -18,31 +18,29 @@
Open Source Release <next-release>
###############################################################################
--! Kernel [2024-04-02] Systematically abort when a function is redeclared
- with an incompatible type, instead of trying to
- finish type-checking, preventing misleading error
- msgs after the first report. IncompatibleDeclHook has
- thus been removed from the API.
-o Kernel [2024-04-02] Annotations.{fold,iter}_behavior now pass full
- behaviors to the iterated function. To iter on
- fragments split by behavior and emitter, use
- {fold,iter}_behavior_by_emitter.
-o! Kernel [2024-03-29] Refactor current location handling mechanism
-- Kernel [2024-03-26] Introduce \plugin:: prefix for ACSL extensions,
- unknown extensions can be safely ignored when the
- plug-in that handles them is not available
--* Variadic [2024-03-07] Make sure that generated functions have fresh names
-o! Kernel [2024-03-07] More coherent naming of functions determining if a
- symbol is a Frama-C built-in.
--* Kernel [2024-03-04] Accept conditional expr whose 2d and 3d operands
- have type void, as per C11 6.5.15§3
--* Kernel [2024-02-22] When an array is declared with a fixed length l,
- raise an error if l * sizeof(elem) > SIZE_MAX
+-! Kernel [2024-04-02] Systematically abort when a function is redeclared
+ with an incompatible type, instead of trying to finish
+ type-checking, preventing misleading error msgs after the first
+ report. IncompatibleDeclHook has thus been removed from the API.
+o Kernel [2024-04-02] Annotations.{fold,iter}_behavior now pass full
+ behaviors to the iterated function. To iter on fragments split by
+ behavior and emitter, use {fold,iter}_behavior_by_emitter.
+o! Kernel [2024-03-29] Refactor current location handling mechanism
+- Kernel [2024-03-26] Introduce \plugin:: prefix for ACSL extensions,
+ unknown extensions can be safely ignored when the plug-in that
+ handles them is not available
+-* Variadic [2024-03-07] Make sure that generated functions have fresh names
+o! Kernel [2024-03-07] More coherent naming of functions determining if a
+ symbol is a Frama-C built-in.
+-* Kernel [2024-03-04] Accept conditional expr whose 2d and 3d operands
+ have type void, as per C11 6.5.15§3
+-* Kernel [2024-02-22] When an array is declared with a fixed length l,
+ raise an error if l * sizeof(elem) > SIZE_MAX
o! Kernel [2024-02-22] Merged AST nodes TCastE and TLogic_coerce
o! Kernel [2024-01-29] Db is now mostly empty, the only remaining value is
- Db.Main.extend which is deprecated and replaced by
- Boot.Main.extend. Features related to asynchronous
- interactions are now handled in module Async
+ Db.Main.extend which is deprecated and replaced by
+ Boot.Main.extend. Features related to asynchronous interactions
+ are now handled in module Async
###############################################################################
Open Source Release 28.1 (Nickel)
--
GitLab