~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-06-04	Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ↵	Cristian Cadar
	consistent naming convention
2019-04-02	POSIX runtime fixes for FreeBSD.	Gleb Popov

2018-10-08	add support for klee-replay on OSX	Frank Busse
	* also adds klee-replay as dependency for systemtests
2016-05-24	Split creation of symbolic files and stdin in two distinct options	Andrea Mattavelli

2013-08-29	Added some of the common *at functions to the model	Paul Marinescu

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