~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-07-30	Use #include "klee/..." (instead of #include <klee/...>) consistently.	Cristian Cadar

2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr ↵	Cristian Cadar
	directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.
2019-05-31	PTree: fix dump() method	Frank Busse

2016-08-09	Fix to PTree pointer use-after-delete undefined behavior	Andrea Mattavelli

2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
	iostream injects static constructor function into every compilation unit. Remove this to avoid it.
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
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