~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-08-03	fprintf: convert to klee_warning	Jiri Slaby
	In some Solver sources, some error outputs were missing \n. Instead of adding a new line to all of them, convert the fprintf's to klee_warning which adds \n automatically. ErrorHandling.h had to be included in MetaSMTSolver.cpp to have klee_warning declared there. Signed-off-by: Jiri Slaby <jslaby@suse.cz>
2016-07-29	Explicitely making division total in STP.	Cristian Cadar

2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
	The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
2016-01-12	[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their	Dan Liew
	own file ``STPSolver.cpp``. Whilst I'm here also clang-format the modified code.