diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 8fed599b80e26fcb87b3f3cf7fc0e4475e1f9975..f3a19a88325ff3e46a7405c06ec4c4e4cf0cc63b 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,7 @@ Plugin E-ACSL <next-release> ############################ +- E-ACSL [2021-04-09] Add support for loop variant. - E-ACSL [2021-04-07] Add support for multiple binders in guarded quantifications (frama-c/e-acsl#127). -* runtime [2021-04-08] Fix backtrace output on failed assertion