diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 65dc019e650c436f6e781a36215d59a4f1218070..5c39810f4b37f331259ec4687f9528d2dc056bc8 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -34,10 +34,10 @@ Plugin E-ACSL <next-release> -* E-ACSL [2021-11-23] Add support for VDSO segment on Linux. -* e-acsl-gcc [2021-11-22] Fix e-acsl-gcc.sh detection of failures in subcommands. -- E-ACSL [2021-11-03] Improve runtime debug logs: the %a modifier now +- runtime [2021-11-03] Improve runtime debug logs: the %a modifier now outputs in hexadecimal, the debug logs now all end in new lines, the trace now outputs to stderr. --* E-ACSL [2021-11-03] Fix default stack size: E_ACSL_STACK_SIZE +-* runtime [2021-11-03] Fix default stack size: E_ACSL_STACK_SIZE is now correctly used by the runtime, the default values have been adjusted to what was effectively used. -* E-ACSL [2021-11-03] Now the same Frama-C options are used when parsing