From d795e9fd3a0aec6e1f716324304c8e9b65247142 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 7 May 2020 15:48:46 +0200
Subject: [PATCH] add changelog entries for 21.0 (Scandium)
---
Changelog | 4 ++++
src/plugins/e-acsl/doc/Changelog | 4 ++++
src/plugins/wp/Changelog | 4 ++++
3 files changed, 12 insertions(+)
diff --git a/Changelog b/Changelog
index c9479af1585..40d1d2b7a55 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,10 @@
Open Source Release <next-release>
##################################
+###################################
+Open Source Release 21.0 (Scandium)
+###################################
+
-* Doc [2020-05-07] Fixes internal refs in generated pdfs (fixes #2505)
-* Kernel [2020-05-04] Accept UCN-encoded unicode char in ACSL (fixes #@849)
o Kernel [2020-04-27] Plug-ins specific dirs now use Filepath instead of
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 2c736f3ce0e..dbd61688061 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,10 @@
# configure configure
###############################################################################
+#############################
+Plugin E-ACSL 21.0 (Scandium)
+#############################
+
-* E-ACSL [2020-03-24] Fix automatic deactivation of plug-in Variadic when
E-ACSL is directly called from Frama-C without using
e-acsl-gcc.sh.
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 4ba62abcdd0..22673dafee4 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -20,6 +20,10 @@
# <Prover>: prover
###############################################################################
+#########################
+Plugin WP 21.0 (Scandium)
+#########################
+
- WP [2020-04-10] Full support for Why3 IEEE float library
- WP [2020-04-10] Removed option -wp-check
- WP [2020-04-09] Added smoke tests for dead call (-wp-smoke-dead-call)
--
GitLab