about summary refs log tree commit diff homepage
path: root/tools/kleaver
AgeCommit message (Expand)Author
2021-12-20llvm13: llvm::cl::GeneralCategory is no longer a globalLukas Zaoral
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-08stats: rename QueriesConstructs to QueryConstructsFrank Busse
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-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-11-18[CMake] Remove use of tabs in `CMakeLists.txt` files.Dan Liew
2016-11-18[CMake] Re-express LLVM and KLEE library dependencies asDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-02-29Merge pull request #344 from MartinNowack/feat_mallocMartinNowack
2016-02-27Add support for tcmallocMartin Nowack
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-01-14Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.Dan Liew
2016-01-14Refactor the MetaSMT makefile commands into its own file which canDan Liew
2016-01-14Fix linking with stp via MetaSMT when not building with direct STPDan 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
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
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
2014-04-23Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefin...Hristina Palikareva
2014-01-25Upstream STP's libstp now depends on boost. This commit updatesDan Liew
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-10-21Removed unnecessary/redundant linking of library boost_thread-mt to klee and ...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-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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 21:53:00 +0000