diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index a7153b2b6de9d38f9d2bb0a6f8b0418780a789da..e86a92d6005d301c0239d66de8a5f5a8e2fa3cdc 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,10 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +################################# +Plugin E-ACSL Phosphorus-20170515 +################################# + - E-ACSL [2017/03/29] The (much more efficient) shadow memory model is now used by default. -* E-ACSL [2017/03/28] Fix backtrace when the failed instrumented programs