[e-acsl] update changelog

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)