From 9cbe27d7df68e9d42eb4e4479f08962ad2b24c0f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 8 Feb 2023 09:05:05 +0100
Subject: [PATCH] [e-acsl] changelog's style
---
src/plugins/e-acsl/doc/Changelog | 25 +++++++++++++++----------
1 file changed, 15 insertions(+), 10 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 94a2f9527eb..57fa25424a2 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -32,21 +32,26 @@ Plugin E-ACSL <next-release>
Plugin E-ACSL 26.0 (Iron)
#########################
--* E-ACSL [2022-11-08] Fix clashing name when a function with contract and a
- logic function have the same name (frama-c/eacsl#204)
-- E-ACSL [2022-11-08] Add support for functions returning a rational
--* E-ACSL [2022-11-08] Fix assign clause and result as extra argument for functions
- returning a structure (frama-c/frama-c#1139)
-- E-ACSL [2022-19-07] Improve typing precision of variables appearing in comparisons
--* E-ACSL [2022-09-08] Fix typing of recursive predicates (frama-c/e-acsl#198)
--* E-ACSL [2022-17-06] Fix wrong cast from pointer to integer (frama-c/frama-c#1119)
+-* E-ACSL [2022-11-08] Fix clashing name when a function with contract
+ and a logic function have the same name (frama-c/eacsl#204).
+- E-ACSL [2022-11-08] Add support for functions returning a rational.
+-* E-ACSL [2022-11-08] Fix assign clause and result as extra argument for
+ functions returning a structure (frama-c/frama-c#1139).
+- E-ACSL [2022-19-07] Improve typing precision of variables appearing in
+ comparisons.
+-* E-ACSL [2022-09-08] Fix typing of recursive predicates
+ (frama-c/e-acsl#198).
+-* E-ACSL [2022-17-06] Fix wrong cast from pointer to integer
+ (frama-c/frama-c#1119).
##############################
Plugin E-ACSL 25.0 (Manganese)
##############################
--* E-ACSL [2022-23-05] Fix crash for quantifications over enum types (frama-c/e-acsl#199)
--* E-ACSL [2022-06-09] Fix wrong cast of pointer to integer (frama-c/frama-c#1119)
+-* E-ACSL [2022-23-05] Fix crash for quantifications over enum types
+ (frama-c/e-acsl#199).
+-* E-ACSL [2022-06-09] Fix wrong cast of pointer to integer
+ (frama-c/frama-c#1119).
- E-ACSL [2022-03-04] Improve translation of `\at()` terms and
predicates (frama-c/e-acsl#108).
-* E-ACSL [2022-03-01] Fix normalization of global annotations that
--
GitLab