about summary refs log tree commit diff homepage
path: root/tools/kleaver/main.cpp
AgeCommit message (Expand)Author
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-13Hide the general category (with LLVM options) in Kleaver.Cristian Cadar
2019-03-13Renamed directoryToWriteQueryLogs to DirectoryToWriteQueryLogs (and some refo...Cristian Cadar
2019-03-13Moved options in kleaver/main.cpp in either the constraint solving or the exp...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-01-14Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.Dan Liew
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
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-09-16[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.Daniel Dunbar
2014-09-16Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.Dan Liew
2014-09-16Fix LLVM3.5 compilation a little more. ``Support/system_error.h``Dan Liew
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
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-06Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
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
2013-01-22Patch by Hristina Palikareva which enables Kleaver to configure theCristian Cadar
2013-01-02Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...Cristian Cadar
2012-10-24Patch by Dan Liew: "Added -print-smtlib option to kleaver tool thatCristian Cadar
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-06-16kleaver: Add some command line options for choosing the Solver.Daniel Dunbar
2009-06-14Rename FoldingExprBuilder -> SimplifyingExprBuilderDaniel Dunbar
2009-06-14Use ExprBuilder for constructing expressions in the Parser.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-06-08kleaver: Use raw_ostream, and print some stats.Daniel Dunbar
2009-06-07Don't delete decls before parsing is complete.Daniel Dunbar
2009-06-05Support counter example queries (at least, the restricted set that weDaniel Dunbar
2009-06-05Don't evaluate queries if there were parse failures.Daniel Dunbar
2009-06-05Add evaluation support to kleaver (now the default).Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-02 19:08:35 +0000