~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
	heuristics in KLEE. The new options are documented at http://klee.llvm.org/klee-options.html. Cleaned a bit the code in UserSearcher.cpp, and fixed some test cases to use the new options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@163711 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-05	Removed unnecessary --init-env option.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154110 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-21	Applied Stefan Bucur's patch that fixes a non-deterministic bug in the	Cristian Cadar
	regression suite (see http://llvm.org/bugs/show_bug.cgi?id=7423) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106431 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-03	Update a few things that got forgotten in the great "bout" to "ktest"	Daniel Dunbar
	renaming of '08. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72748 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