~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-03-13	Renamed --use-construct-hash to --use-construct-hash-stp and moved it and use...	Cristian Cadar
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" a...	Cristian Cadar
2019-03-13	Added options in QueryLoggingSolver.cpp to the constraint solving category	Cristian Cadar
2019-03-13	Added options in CexCachingSolver.cpp to the constraint solving category and ...	Cristian Cadar
2019-03-11	Replaced "default=off" with "default=false"	MartinNowack
2019-03-11	Added options in STPSolver.cpp to the constraint solving category	Cristian Cadar
2019-03-11	Added Z3 options to the constraint solving category	Cristian Cadar
2019-01-15	make AssignmentLessThan::operator() const-invocable	Julian Büning
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
2018-10-23	use klee_open_output_file for uncompressed logs	Julian Büning
2018-10-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...	Cristian Cadar
2018-09-20	Silence an uninitialized variable compiler warning (and a tiny formatting cha...	Cristian Cadar
2018-07-04	Fix compiler warnings if assertions are disabled	Martin Nowack
2018-05-21	stop using DEBUG macro name	Jiri Slaby
2018-05-15	remove QueryLog.h	Frank Busse
2018-05-09	Improve handling of constant array in Z3	Timotej Kapus
2017-10-17	[cmake] detect available metaSMT backends using a pre-defined flag and raise ...	Hoang M. Le
2017-10-17	add support for CVC4 and Yices2 via metaSMT	Hoang M. Le
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-07-08	Corrected comment of Z3Solver class	Andrew Santosa
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 Met...	Hoang M. Le
2017-06-01	[Z3] Remove unused include.	Dan Liew
2017-06-01	[Z3] Add `-debug-z3-verbosity=<N>` option which behaves like Z3's `-v:<N>` op...	Dan Liew
2017-06-01	[Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`.	Dan Liew
2017-06-01	[Z3] In `getConstraintLog()` use a separate builder from that of the	Dan Liew
2017-06-01	[Z3] Implement API logging.	Dan Liew
2017-06-01	[Z3] Add option to manually validate Z3 models.	Dan Liew
2017-06-01	[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. This	Dan Liew
2017-06-01	[Z3] Move the `dump()` methods of the Z3NodeHandle<> specializations	Dan Liew
2017-06-01	[Z3] Add assertions in Z3 builder to catch underflow with bad widths.	Dan Liew
2017-06-01	[Z3] Support another solver failure reason that Z3 might give. I'm going	Dan Liew
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2017-03-23	[CMake] Unbreak build due to not adding AssignmentValidatingSolver.cpp	Dan Liew
2017-03-23	Add `AssignmentValidatingSolver`. It's purpose is to check any computed	Dan Liew
2017-03-03	Using klee_message instead of llvm:errs	Cristian Cadar
2017-02-22	klee: remove use of deprecated 'register'	Jiri Slaby
2017-02-14	Added error message when STP fails to fork.	Cristian Cadar
2016-11-23	Renamed .pc to .kquery (kleaver query)	Eric Rizzi
2016-11-18	[CMake] Remove use of tabs in `CMakeLists.txt` files.	Dan Liew
2016-11-18	[CMake] Re-express LLVM and KLEE library dependencies as	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
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 runAn...	Hoang M. Le
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-29	remove mimic_stp option and the associated ITE chain construction for shift o...	Hoang M. Le