~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-01-20	Add lit.local.cfg file for test/Concrete so no tests are executed	Dan Liew
	in this directory. I don't know why these tests are here, they weren't executed before by DejaGNU.
2013-03-18	Patch and test case by Jiri Slaby to handle "initializing globals when	Cristian Cadar
	a global has an undef fill of holes inside structures." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@177285 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