~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-02-27	Add support for tcmalloc	Martin Nowack
	Beside improving performance of KLEE, tcmalloc allows to track used memory correctly. If available, tcmalloc is automatically used during compile time. This can be forced to be: - disabled using --without-tcmalloc - enabled using --with-tcmalloc In the second case, configure will fail if tcmalloc is not found or usable. Both versions of tcmalloc a minimal and normal version.
2014-09-12	Add support for getting memory usage on Darwin.	Daniel Dunbar

2014-09-12	Do not require mallinfo(), which is Linux specific.	Daniel Dunbar

2014-04-24	Renamed GetTotalMemoryUsage to GetTotalMallocUsage	Martin Nowack

2014-04-24	Modify klee::util::GetTotalMemoryUsage() so that if the system is	Dan Liew
	not using glibc the malloc usage if computed differently.
2014-04-24	Fix handling of memory usage in KLEE.	Martin Nowack
	Memory usage API in LLVM since 3.3 is not working the way it is intended by KLEE. This ports the pre 3.3. version to KLEE. Fixes the malloc test case.