diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index d3cb04b390b2186a1ea41901c4da623ced7967df..8e00ca6887362ed044ee2bbef2ff73042b7292fa 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 of bitwise operators for C integers. + (frama-c/e-acsl#33) - 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.