From 0ba1713a9989f1da613662f91f589d97768a0843 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 26 Aug 2020 15:11:39 +0200
Subject: [PATCH] [e-acsl:changelog] move '.' (dot) at the end of sentences
---
src/plugins/e-acsl/doc/Changelog | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 04887adaf2c..ce93df0d9be 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,19 +25,19 @@
Plugin E-ACSL <next-release>
############################
-- E-ACSL [2020-08-07] Add support for logical array comparison.
- (frama-c/e-acsl#99)
-- E-ACSL [2020-07-28] Add support of bitwise operators.
- (frama-c/e-acsl#33)
--* E-ACSL [2020-07-20] Fix unstable order of generated globals.
- (frama-c/e-acsl#124)
+- E-ACSL [2020-08-07] Add support for logical array comparison
+ (frama-c/e-acsl#99).
+- E-ACSL [2020-07-28] Add support of bitwise operators
+ (frama-c/e-acsl#33).
+-* E-ACSL [2020-07-20] Fix unstable order of generated globals
+ (frama-c/e-acsl#124).
-* E-ACSL [2020-07-10] Fix translation of trange (incorrect length).
-* E-ACSL [2020-07-09] Decrease the number of allocated blocks when one
block is freed.
- E-ACSL [2020-06-19] Add support to create GMP rational from GMP
- integer. (frama-c/e-acsl#120)
--* E-ACSL [2020-06-18] Fix support of VLA memory tracking.
- (frama-c/e-acsl#119)
+ integer (frama-c/e-acsl#120).
+-* E-ACSL [2020-06-18] Fix support of VLA memory tracking
+ (frama-c/e-acsl#119).
#############################
Plugin E-ACSL 21.0 (Scandium)
--
GitLab