diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index a7d1dbbfb07407b686e32cb0f3ba892df737ac95..6df26ae77ebf6c5fd401fbbd58d4da90f4ceef94 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,8 @@ Plugin E-ACSL <next-release> ############################ +-* runtime [2021-03-30] Fix the end address of the memory segments in the + RTL layouts. - E-ACSL [2021-03-25] Add support for `check` and `admit` annotations (frama-c/e-acsl#142). -* E-ACSL [2021-03-25] Fix wrong computation of the base pointer when