~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-06-12	llvm: don't use clEnumValEnd for LLVM 4.0	Jiri Slaby
2017-03-23	Add `AssignmentValidatingSolver`. It's purpose is to check any computed	Dan Liew
2016-11-23	Renamed .pc to .kquery (kleaver query)	Eric Rizzi
2016-09-15	Rename `-debug-cross-check-core-solver` option to	Dan Liew
2016-09-15	Add ``-debug-cross-check-core-solver`` option to allow cross-checking	Dan Liew
2016-06-10	rename the configure option --with-metasmt-default-solver to --with-metasmt-d...	Hoang M. Le
2016-06-10	use default metaSMT solver as defined in configuration	Hoang M. Le
2016-04-14	Disabling --solver-optimize-divides by default, as the optimization is curren...	Cristian Cadar
2016-03-01	Documented default values for various options and improved the description of...	Cristian Cadar
2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew
2016-02-08	Fixed two spelling errors.	Marko Dimjašević
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2016-01-12	Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing	Dan Liew
2013-10-15	command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_...	Hristina Palikareva
2013-10-11	MetaSMT builder, solver and command-line options.	Hristina Palikareva
2013-08-06	Renaming solver-related command-line options in order to decouple them from S...	Hristina Palikareva
2013-07-18	Patch by Stephan Falke fixing an incorrect message.	Cristian Cadar
2013-03-11	Patch by Dan Liew which unifies the solver construction between KLEE	Cristian Cadar
2013-03-06	Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.	Cristian Cadar
2013-01-29	Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...	Cristian Cadar