diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index d32d106def951ea26c47935ac6322519fd02208d..65af1bd039b44a2e3ff0fb1a77a3930c47676240 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,8 @@ Plugin E-ACSL <next-release> ############################ +- E-ACSL [2020-08-07] Add support for logical array comparison. + (frama-c/e-acsl#99) - E-ACSL [2020-07-28] Add support of bitwise operators. (frama-c/e-acsl#33) -* E-ACSL [2020-07-20] Fix unstable order of generated globals.