diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 6a8454d1f870128ebd5abfa85b2cc9a1daefc381..49ca8b5c56c1fd21ab1c0327f93153cea87537fe 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 [2022-11-08] Add support for functions returning a rational +-* E-ACSL [2022-11-08] Fix assign clause and result as extra argument for functions + returning a structure (frama-c/frama-c#1139) - E-ACSL [2022-19-07] Improve typing precision of variables appearing in comparisons -* E-ACSL [2022-09-08] Fix typing of recursive predicates (frama-c/e-acsl#198) -* E-ACSL [2022-17-06] Fix wrong cast from pointer to integer (frama-c/frama-c#1119)