[RTL] jemalloc tailored for use with E-ACSL/implicit tracking of heap blocks

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/contrib/jemalloc/.autom4te.cfg

src/plugins/e-acsl/contrib/jemalloc/.gitattributes

src/plugins/e-acsl/contrib/jemalloc/.gitignore

src/plugins/e-acsl/contrib/jemalloc/COPYING

src/plugins/e-acsl/contrib/jemalloc/ChangeLog

src/plugins/e-acsl/contrib/jemalloc/INSTALL

src/plugins/e-acsl/contrib/jemalloc/Makefile.in

src/plugins/e-acsl/contrib/jemalloc/README

src/plugins/e-acsl/contrib/jemalloc/autogen.sh

src/plugins/e-acsl/contrib/jemalloc/bin/jemalloc-config.in

src/plugins/e-acsl/contrib/jemalloc/bin/jemalloc.sh.in

src/plugins/e-acsl/contrib/jemalloc/bin/jeprof.in

src/plugins/e-acsl/contrib/jemalloc/build-aux/config.guess

src/plugins/e-acsl/contrib/jemalloc/build-aux/config.sub

src/plugins/e-acsl/contrib/jemalloc/build-aux/install-sh

src/plugins/e-acsl/contrib/jemalloc/config.stamp.in

src/plugins/e-acsl/contrib/jemalloc/configure.ac

src/plugins/e-acsl/contrib/jemalloc/coverage.sh