~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2011-07-20	Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135598 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-11-14	On LLVM 2.9+, use TargetLowering::ExpandInlineAsm to expand asm code	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@119046 91177308-0d34-0410-b5e6-96231b3b80d8
2010-09-30	Add missing include to make sure version macros are present.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115146 91177308-0d34-0410-b5e6-96231b3b80d8
2010-09-30	Spell versioning macros correctly.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115140 91177308-0d34-0410-b5e6-96231b3b80d8
2010-09-30	Update for LLVM API changes, patch by nobled, in PR8232.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115138 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-01	Implement va_arg handling for x86_64.	Daniel Dunbar
	- Based on a patch by Vladimir Kuznetsov! - x86_64 has a complicated calling convention for va_args; instead of dealing with this, this patch uses a clever workaround by initializing the va_list structure so that the callee believes all arguments were passed in the stack save area. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77819 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