diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 6c71048d8f6dd78d2e941a4f0017c0d9449d9873..0cd3328d7a8dfbfa86be0b67c528bebe08236174 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -25,6 +25,9 @@ Plugin E-ACSL <next-release> ############################ +-* E-ACSL [2021-09-29] Fix translation order of the default behavior's + requires clauses. They are now translated before the evaluation + of the assumes clauses of the other behaviors. -* E-ACSL [2021-09-13] Fix unsound reuse of previously typed recursive functions (frama-c/e-acsl#177) - E-ACSL [2021-08-03] Correct monitoring of code depending on libc