diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 6df26ae77ebf6c5fd401fbbd58d4da90f4ceef94..4f7a40c2edee6692fdfdf1eab6510143028a2d79 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,10 @@ Plugin E-ACSL <next-release> ############################ +-* runtime [2021-04-08] Fix backtrace output on failed assertion + (frama-c/e-acsl#151). +-* runtime [2021-04-08] Fix incorrect check on program arguments when the + main function takes no arguments (frama-c/e-acsl#151). -* 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