diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index a0cc7fef9f4fe68dc42641c984c7738272eefd99..41b61fc71f468ed2eb4f5d4d78f97c58b63436ef 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,11 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +######################## +Plugin E-ACSL 0.4.1 Neon +######################## + +-* E-ACSL [2014/08/05] Fix bug #1838 about memset. -* E-ACSL [2014/08/05] Fix bug #1818 about initialization of globals. -* E-ACSL [2014/08/04] Fix bug #1696 by clarifying the manual. -* E-ACSL [2014/08/04] Fix bug #1831 about argc and argv.