From d896e2bd4e5be9387051a7526f5764848b3937e8 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 19 May 2017 17:13:30 +0200
Subject: [PATCH] Changelog entry for temporal analysis

---
 src/plugins/e-acsl/doc/Changelog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 5aa1399cd53..89919807757 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,8 @@
 Plugin E-ACSL Phosphorus-20170515
 #################################
 
+-! E-ACSL       [2017/05/19] Add --temporal option to e-acsl.gcc.sh
+-! E-ACSL       [2017/05/19] Enable analysis for temporal errors in E-ACSL
 -! E-ACSL       [2017/03/26] Add --weak-validity option to e-acsl.gcc.sh
 -! E-ACSL       [2017/03/26] Add --rt-verbose option to e-acsl.gcc.sh
 -! E-ACSL       [2017/03/26] Add --keep-going option to e-acsl.gcc.sh allowing
-- 
GitLab