diff --git a/Changelog b/Changelog index c9479af15850d0b8684719891a1d1fd63219d4b9..40d1d2b7a5504335fffbab0af6fef7baa894281d 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 2c736f3ce0e475fa120daa21c169bd24616acc8c..dbd6168806115a3b66e8903a5dbba20ee337a9d8 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 4ba62abcdd056cc8f9e218c5ee07a4195e541d78..22673dafee48a96c931e521209493d1ce35ec79e 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)