| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-16 | Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ... | Cristian Cadar |
| 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-03-03 | Using klee_message instead of llvm:errs | Cristian Cadar |
| 2016-09-15 | Add ``-debug-cross-check-core-solver`` option to allow cross-checking | Dan Liew |
| 2016-06-10 | clean up metaSMT includes | Hoang M. Le |
| 2016-02-14 | Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl | Dan Liew |
| 2016-02-10 | Add some of the basic plumbing required to support a Z3 solver in KLEE. | Dan Liew |
| 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 |
| 2016-01-12 | Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing | Dan Liew |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |