~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-01-20	Hide make check command unless using VERBOSE make variable.	Dan Liew
	e.g. $ make check VERBOSE=1 # Shows command and shows more detail $ make check # Does not show command and shows summary
2014-01-20	Partially fix python detection for running llvm-lit.	Dan Liew
	The problem is newer LLVM versions (e.g. 3.3) detect python at their configure time whereas older versions don't (i.e. 2.9). So I don't want to add python detection to KLEE's configure if LLVM already does the work for us. We need to move off llvm 2.9 anyway.
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
	Say hello to our new friend, llvm-lit :)
2014-01-20	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
	time.
2014-01-20	Removed all of llvm-lit's dependence on DejaGNU. A few things	Dan Liew
	are now broken and will be fixed shortly.
2014-01-20	Force python2 to be used when running llvm-lit. This needs to be fixed	Dan Liew
	properly at configure time at some point.
2014-01-20	Allow llvm-lit from 2.9 to work by hacking %T substitution variable.	Dan Liew

2014-01-20	Add LLVM tool directory to PATH when running tests with llvm-lit.	Dan Liew
	This is needed because the helper tool 'not' is used by some tests
2010-05-02	Sketch support for running KLEE tests using 'lit'.	Daniel Dunbar
	- Not working yet. Also, ditch a bunch of unused substitution variables from the site.exp config file. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102872 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05	Fix some tests w/ objdir != srcdir.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100422 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
2010-02-19	Fixed the problem of 'make check' failing on XFAILs. Based on patch	Cristian Cadar
	by Peter Collingbourne. We grep twice because we still want to print the XFAILs at the end of the regression run. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96671 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-21	Don't force llvm-gcc to -m32, just hope that it was configured correctly for the	Daniel Dunbar
	current target arch. This should work in the usual Linux environment, but it won't work on Darwin if using the non-default arch; for that we need the LLVM makefiles to figure out the right llvm-gcc arguments. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@82422 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-08-01	Don't force -m32 in tests; this should be handled by the build system.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77798 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
	- For compatibility we still accept 2 argument form of klee_make_symbolic, but this will go away eventually. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72265 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