~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2015-04-25	Report the git tag if exists in the output of --version from klee	Dan Liew
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
2015-03-13	Timestamp improvements.	Emil Rakadjiev
2014-09-14	[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.	Daniel Dunbar
2014-09-13	Add KLEE specific DEBUG macros.	Daniel Dunbar
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-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2014-04-24	Renamed GetTotalMemoryUsage to GetTotalMallocUsage	Martin Nowack
2014-04-24	Modify klee::util::GetTotalMemoryUsage() so that if the system is	Dan Liew
2014-04-24	Fix handling of memory usage in KLEE.	Martin Nowack
2013-12-21	Do not install KLEE's internal libraries.	Dan Liew
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2011-04-23	Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...	Cristian Cadar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar