| Age | Commit message (Expand) | Author |
|---|---|---|
| 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-26 | Modified logging information to steer the usage of klee_message, klee_warning... | Andrea Mattavelli |
| 2016-08-03 | fprintf: convert to klee_warning | Jiri Slaby |
| 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 |
| 2016-01-12 | Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into | Dan Liew |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |