Changelog updates

src/plugins/e-acsl/doc/Changelog

@@ -15,11 +15,21 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+=======
+-* E-ACSL       [2016/07/21] Enable reporting of stack traces during assertion
+	        failures in instrumented programs.
 -* E-ACSL       [2016/07/13] Add an e-acsl-gcc.sh option (--print--models)
 	        allowing to print the names of the supported memory models.
+-* E-ACSL       [2016/07/01] Add monitoring support for aligned memory
+	        allocation via posix_memalign and aligned alloc functions.
+-* E-ACSL       [2016/07/01] Add local version of GMP library customized for use
+	        with E-ACSL runtime library.
+-* E-ACSL       [2016/07/01] Add custom implementation of malloc for use with
+	        E-ACSL runtime library (via jemalloc library).
 -* E-ACSL       [2016/05/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to
-          annotate the source program with memory-safety assertions prior to
-          instrumentation.
+	        annotate the source program with memory-safety assertions prior to
+	        instrumentation.
+>>>>>>> Changelog updates
 -  E-ACSL       [2016/05/23] Re-implementation of the type system which
 	        improves the efficiency of the generated code over integers.
 -* E-ACSL       [2016/05/23] Fix bug #2191 about complicate structs and