diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 4a1e5e711d7024edf490b74237e69ea1eec76c58..d3cb04b390b2186a1ea41901c4da623ced7967df 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 [2020-06-19] Add support to create GMP rational from GMP + integer. (frama-c/e-acsl#120) -* E-ACSL [2020-06-18] Fix support of VLA memory tracking. (frama-c/e-acsl#119)