From 5f96bf724723428617df2f2858ce79ae9e117919 Mon Sep 17 00:00:00 2001
From: Thibaut Benjamin <thibaut.benjamin@gmail.com>
Date: Thu, 11 Aug 2022 14:08:03 +0200
Subject: [PATCH] [e-acsl] 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 6a8454d1f87..49ca8b5c56c 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        [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)
-- 
GitLab