diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index fccf2cad4078ef93666da2dc15d6feac93d1b006..00529a3b01a58ef84ad700cb2328664aa05fb664 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 [2021-01-12] Fix crash when comparing two structs, which is + currently unsupported (frama-c/e-acsl#139). -* Makefile [2021-01-05] Fix dependencies in bytecode-only compilation. - E-ACSL [2020-12-09] Add RTL support for Windows. - E-ACSL [2020-11-17] Update e-acsl-gcc.sh so that the library dlmalloc