diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 00529a3b01a58ef84ad700cb2328664aa05fb664..78cc37da4c49c8c878f610ec3f0fc6be7fa84fd8 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,18 @@ Plugin E-ACSL <next-release> ############################ +-* E-ACSL [2021-02-24] Fix crash when running another analysis after + E-ACSL caused by E-ACSL breaking some internal kernel invariant + (frama-c/e-acsl#145). +- e-acsl-gcc [2021-02-24] Try to find Frama-C binary in script or development + directory if not present in PATH (frama-c/e-acsl#104). +- e-acsl-gcc [2021-02-24] Remove obsolete options from documentation and bash + completion script (frama-c/e-acsl#104). +- e-acsl-gcc [2021-02-24] Deactivate Variadic translation when using + incompatible option --validate-format-strings + (frama-c/e-acsl#104). +- e-acsl-gcc [2021-02-24] Do not load Frama-C plugins when retrieving share + and plugins paths (frama-c/e-acsl#104). -* E-ACSL [2021-01-12] Fix crash when comparing two structs, which is currently unsupported (frama-c/e-acsl#139). -* Makefile [2021-01-05] Fix dependencies in bytecode-only compilation.