~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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