From e882d04889311cdbc7c9ee8aa1a94d0276b2ed03 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 14 Oct 2020 10:09:35 +0200
Subject: [PATCH] [eacsl][variadic] Update changelogs
---
Changelog | 3 +++
src/plugins/e-acsl/doc/Changelog | 2 ++
2 files changed, 5 insertions(+)
diff --git a/Changelog b/Changelog
index 5c98c77edf6..1fc3c4520e3 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,9 @@
Open Source Release <next-release>
##################################
+- Variadic [2020-10-14] Don't print generated function name but print
+ original name and a comment with the generated name so that the
+ printed code is compilable.
- Aorai [2020-10-13] Ya automata can set auxiliary variables during a
transition, and use such variables in subsequent guards.
- Kernel [2020-10-09] Add option -print-config-json, to output Frama-C
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 16021662988..4a62c24a6da 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
Plugin E-ACSL <next-release>
############################
+- E-ACSL [2020-10-14] Add Support for Variadic generated functions in
+ the AST (frama-c/e-acsl#128).
- E-ACSL [2020-10-06] Add support for the `\separated` predicate.
(frama-c/e-acsl#31)
-* E-ACSL [2020-10-06] Fix a soundness bug when translating a range with a
--
GitLab