diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index a94bd7902e7d33bded1bd99e826ecc1820bc4190..5c3fedbea06163aeee9666481f76a5801d276d6c 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -19,6 +19,9 @@ # configure configure ############################################################################### +-* 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. - E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a separate function at the end of main. - E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory