about summary refs log tree commit diff homepage
path: root/lib/Basic
AgeCommit message (Expand)Author
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-02-08Fixed two spelling errors.Marko Dimjašević
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-10-15command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_...Hristina Palikareva
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ST...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-07-18Patch by Stephan Falke fixing an incorrect message. Cristian Cadar
2013-04-03Code reformatting.Cristian Cadar
2013-03-11Forgot to add ConstructSolverChain.cpp in the previous patch.Cristian Cadar
2013-03-11Patch by Dan Liew which unifies the solver construction between KLEECristian Cadar
2013-03-06Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.Cristian Cadar
2013-01-29Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...Cristian Cadar
2009-05-29Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read.Cristian Cadar
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...Cristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 14:34:40 +0000