From 70e98d9f405cf44831d1676c2f90f1583e5d1194 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 29 Sep 2021 11:22:31 +0200
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 6c71048d8f6..0cd3328d7a8 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,9 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2021-09-29] Fix translation order of the default behavior's
+ requires clauses. They are now translated before the evaluation
+ of the assumes clauses of the other behaviors.
-* E-ACSL [2021-09-13] Fix unsound reuse of previously typed recursive
functions (frama-c/e-acsl#177)
- E-ACSL [2021-08-03] Correct monitoring of code depending on libc
--
GitLab