[eacsl] Update changelog

src/plugins/e-acsl/doc/Changelog

@@ -25,13 +25,16 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-  E-ACSL       [2020-07-28] Add support of bitwise operators.
+                (frama-c/e-acsl#33)
 -* E-ACSL       [2020-07-20] Fix unstable order of generated globals.
                 (frama-c/e-acsl#124)
 -* E-ACSL       [2020-07-10] Fix translation of trange (incorrect length).
 -* E-ACSL       [2020-07-09] Decrease the number of allocated blocks when one
                 block is freed.
--  E-ACSL       [2020-06-19] Add support of bitwise operators for C integers.
-                (frama-c/e-acsl#33)
+-* E-ACSL       [2020-07-10] Fix translation of trange (incorrect length).
+-* E-ACSL       [2020-07-09] Decrease the number of allocated blocks when one
+                block is freed.
 -  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.