~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-10-17	[cmake] detect available metaSMT backends using a pre-defined flag and raise ↵	Hoang M. Le
	compile flags accordingly
2017-10-17	add support for CVC4 and Yices2 via metaSMT	Hoang M. Le

2017-06-02	hide backend solver declarations from public include	Hoang M. Le

2017-06-02	replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into ↵	Hoang M. Le
	MetaSMTSolver.cpp so that the backend headers only need to be included once there
2016-10-27	apply clang-format	Hoang M. Le

2016-10-27	update comments	Hoang M. Le

2016-10-27	upgrade to boolector-2.2.0 & remove the no longer needed aux array vector	Hoang M. Le

2016-10-26	move the query creation part into runAndGetCex() (to be consistent with ↵	Hoang M. Le
	runAndGetCexForked())
2016-10-26	change signature of runAndGetCex() to match runAndGetCexForked()	Hoang M. Le

2016-10-26	remove outdated FIXME (metaSMT-Z3 implements assumption via push/pop)	Hoang M. Le

2016-09-26	Modified logging information to steer the usage of klee_message, ↵	Andrea Mattavelli
	klee_warning, and klee_error
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-06-10	clean up metaSMT includes	Hoang M. Le

2016-01-14	MetaSMT build fixes.	Dan Liew

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	Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into	Dan Liew
	their own file ``MetaSMTSolver.cpp``. Whilst I'm here also clang-format the modified code. This might not be a NFC (non functional change) as there's a good chance this has broken the MetaSMT build of KLEE. I don't have a build of MetaSMT to hand and there is no TravisCI build. At this point because there is no maintainer for this code I think we should consider removing it as it is going bitrot.