diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index e6b20fea46eef7cb486105569283f4b84b4782c4..7f0e79e4a4ae6417fc10bef94e80e4437d76c49f 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-09-22] Support of complete and disjoint behavior + (frama-c/e-acsl#92 and frama-c/e-acsl#27). -* runtime [2020-09-15] Fix wrong value returned for the stack size in the segment memory model (frama-c/e-acsl#126). - E-ACSL [2020-09-15] Deprecate -e-acsl-full-mmodel in favor of