~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2015-04-25	Report the git tag if exists in the output of --version from klee	Dan Liew
	and kleaver.
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
	when they are given the --version command line option. Unfortunately to make the build type and git revision available we need to check this for every build which means KLEE's support library will be rebuilt for every build which will slow down incremental builds. This addresses issue #231
2015-03-13	Timestamp improvements.	Emil Rakadjiev
	Replaced inefficient llvm::sys::Process::GetTimeUsage() with TimeValue::now(), because in many cases only the wall clock time is needed, not the user and sys times (which are significantly more expensive to get). Updated TimingSolver and WallTimer accordingly.
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
	- This allows us to build in +Asserts mode even when LLVM isn't (by disabling the checks in that mode). - Eventually it would be nice to just move off of LLVM's DEBUG infrastructure entirely and just have our own copy, but this works for now. - Fixes #150.
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
	iostream injects static constructor function into every compilation unit. Remove this to avoid it.
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
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.
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
	version codes. This makes the preprocessor-based version tests more concise and less error prone. Also, fix the version tests in lib/Expr/Parser.cpp (immutable zext and trunc were introduced in LLVM 2.9); now 2.9 passes "make test". git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135583 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-23	Patch by arrowdodger ↵	Cristian Cadar
	(http://keeda.stanford.edu/pipermail/klee-dev/2011-April/000617.html) for compiling KLEE with the latest LLVM changes. Tested against LLVM 2.7 and 2.8. The AsmAddresses test fails in 2.8 unless assertions are explicitely enabled (--enable-assertions). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@130065 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8