~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-09-14	[LLVM3.5] Update for CallSite.h move into IR/.	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.
2013-12-19	Remove old algorithm for acquiring debug info. Since LLVM 2.7,	Dan Liew
	debug information is attached directly to most instructions so the simpler algorithm added in 5ecfd6e2fd5becc10be355b3a20d014e76e40518 can be used. Since support for LLVM version < 2.9 has been removed the old algorithm should be removed. This has been tested with LLVM 2.9 and LLVM 3.3
2013-12-19	Replicate debug information from checked instructions to checker call.	Martin Nowack

2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack

2013-10-29	Merge pull request #26 from delcypher/fix_divide_by_zero	Paul
	Fixed bug where divide by zero bugs would only be detected once in a program
2013-09-02	Implemented runtime check for overshift (controllable with --check-overshift	Dan Liew
	command line argument). Overshift is where a Shl, AShr or LShr has a shift width greater than the bit width of the first operand. This is undefined behaviour in LLVM so we report this as an error.
2013-08-27	Port to LLVM 3.3	Martin Nowack
	Major changes are: - Switching to llvm-link to build archive files - Use GetMallocUsage instead of GetTotalMemoryUsage (be aware of bug in LLVM 3.3 http://llvm.org/bugs/show_bug.cgi?id=16847) - intrinsic library functions like memcpy/mov/set use weak linkage to be replaced by e.g. uclibc functions - rewrote linking with library - enhanced MemoryLimit test case to check if mallocs were successful
2012-10-08	Make the changes in r165394 be conditional on post LLVM 3.1 changes.	Micah Villmow
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165405 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-08	Move TargetData to DataLayout.	Micah Villmow
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165394 91177308-0d34-0410-b5e6-96231b3b80d8
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
2010-03-14	Update for 2.7.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@98467 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-17	Update for LLVM API change.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@79217 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