Age | Commit message (Expand) | Author |
2016-09-26 | Modified logging information to steer the usage of klee_message, klee_warning... | Andrea Mattavelli |
2016-09-15 | Add ``-debug-cross-check-core-solver`` option to allow cross-checking | Dan Liew |
2016-08-06 | Fix to #445 | Andrea Mattavelli |
2016-08-03 | fprintf: convert to klee_warning | Jiri Slaby |
2016-07-31 | Merge pull request #422 from ccadar/div-zero-test | Cristian Cadar |
2016-07-29 | Explicitely making division total in STP. | Cristian Cadar |
2016-07-09 | Fix variable shifting behavior with different sizes | Martin Nowack |
2016-07-08 | Support gzip-based compression of raw_outstreams | Martin Nowack |
2016-06-28 | add assertions to check the pre-condition of bvVar*Shift that both operands h... | Hoang M. Le |
2016-06-27 | change bitwidth of expr_shpost in MetaSMTBuilder::constructSDivByConstant to ... | Hoang M. Le |
2016-06-10 | apply clang-format | Hoang M. Le |
2016-06-10 | remove now unused getShiftBits() | Hoang M. Le |
2016-06-10 | remove bitmasking shift amount in bvVarArithRightShift | Hoang M. Le |
2016-06-10 | remove bitmasking shift amount in bvVarRightShift | Hoang M. Le |
2016-06-10 | remove bitmasking shift amount in bvVarLeftShift | Hoang M. Le |
2016-06-10 | remove bitmasking shift amount in constructAShrByConstant and make it return ... | Hoang M. Le |
2016-06-10 | remove bitmasking shift amount in bvRightShift | Hoang M. Le |
2016-06-10 | remove bitmasking shift amount in bvLeftShift | Hoang M. Le |
2016-06-10 | handle special cases of sdiv 1 and -1 | Hoang M. Le |
2016-06-10 | update Makefile for metaSMT | Hoang M. Le |
2016-06-10 | clean up metaSMT includes | Hoang M. Le |
2016-05-25 | add include in Z3Solver.cpp (did not compile with llvm-2.9) | Hoang M. Le |
2016-04-19 | Merge pull request #369 from MartinNowack/fix_determ_solver_array | MartinNowack |
2016-04-17 | Merge pull request #359 from delcypher/fix_indep_solver_bug | Cristian Cadar |
2016-04-09 | Generate unique STP and Z3 array names deterministically | Martin Nowack |
2016-03-23 | Refactoring of conditional flush into own function. | Martin Nowack |
2016-03-23 | Fix comment + Clang Formatting | Martin Nowack |
2016-03-23 | Add option to log partial solver queries before calling it | Martin Nowack |
2016-03-22 | Properly assert that an assignment computed in | Dan Liew |
2016-03-22 | Try to fix #348 | Dan Liew |
2016-02-23 | Added missing copyright headers per klee/issue #301 | Marko Dimjašević |
2016-02-14 | Handle Z3 API change between 4.4.1 and the current master branch | Dan Liew |
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 |
2016-01-12 | Drop unnecessary ``#include``s from Solver.cpp. | Dan Liew |
2016-01-12 | Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into | Dan Liew |
2016-01-12 | [NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their | Dan Liew |
2016-01-12 | [NFC] Refactor DummySolver out of Solver.cpp into its own file | Dan Liew |
2016-01-12 | [NFC] Refactor ValidatingSolver out of Solver.cpp into its own file | Dan Liew |
2016-01-07 | [NFC] Refactor SolverImpl out of Solver.cpp into its own file | Dan Liew |
2015-12-23 | Fix memory leak detected by ASan when | Dan Liew |
2015-12-23 | [NFC] | Dan Liew |
2015-12-18 | Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h | Dan Liew |
2015-12-17 | [Solver]Add support to dump STP qeries using | Martin Nowack |
2015-12-17 | Report fatal error in case CexCache Bindings do not match | Martin Nowack |
2015-12-17 | [Solver]Add simple option to dump queries | Martin Nowack |
2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support... | Martin Nowack |