[eacsl] Update changelog

src/plugins/e-acsl/doc/Changelog

@@ -25,6 +25,12 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-* E-ACSL       [2021-07-19] Fix crash occurring when two or more successive
+                logic coercions were done in a term (frama-c/e-acsl#172).
+-* E-ACSL       [2021-07-19] Fix crash when raising some user errors
+                (frama-c/e-acsl#170).
+-* E-ACSL       [2021-07-16] Fix crash when using some built-in labels
+                (frama-c/e-acsl#173).
 -* E-ACSL       [2021-07-13] Fix crash when encountering a GMP value in a loop
                 variant (frama-c/e-acsl#169).