about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-24Merge pull request #116 from MartinNowack/fix_mallocDan Liew
2014-04-24Renamed GetTotalMemoryUsage to GetTotalMallocUsageMartin Nowack
2014-04-24Have configure check for presense of mallinfo for the newly addedDan Liew
2014-04-24Fix handling of memory usage in KLEE.Martin Nowack
2014-04-24Add missing newline at end of file to silence a clang warning.Dan Liew
2014-04-24Asserting that update lists have non-NULL roots within ReadExpr objects (updateHristina Palikareva
2014-04-16Removing a few more hard-coded values for domains and ranges of Array objectsHristina Palikareva
2014-04-15Associate a domain and range with each arrayPeter Collingbourne
2014-04-04Add the ability to control whether the pretty printer uses line breaksPeter Collingbourne
2014-03-09Use clang-format to reformat SMT-LIB printer in LLVM style.Peter Collingbourne
2014-01-12Merge pull request #68 from MartinNowack/feature_kleeInternalFunctionsDan Liew
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-12Patch by Daniel Lupei, fixing a performance bug with theCristian Cadar
2013-12-11Merge pull request #31 from antiAgainst/chroot-replayCristian Cadar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
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-10-03Extending ./configure with support to use metaSMT.Hristina Palikareva
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-08-28Fix constness warnings issued by gcc 4.7Martin Nowack
2013-08-28Silence compiler warning about unused variableMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
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-05-08Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQ...Cristian Cadar
2013-05-08Patch by Dan Liew: "Improve the doxygen comments for ExprSMTLIBPrinter"Cristian Cadar
2013-05-08Patch by Dan Liew (with a few changes by me) that improves the Doxygen docume...Cristian Cadar
2013-05-07Fixed incorrect comment.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
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 that refactors the logging code, by introducing a new ...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 improving the description of getZExtValue (see discussion a...Cristian Cadar
2012-10-24Patch by Dan Liew: "Added support for generating .smt2 files whenCristian Cadar
2012-10-24Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv...Cristian Cadar
2012-10-24Nice patch by Dan Liew that adds support for printing queries in theCristian Cadar
2012-10-24Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp soCristian Cadar
2012-10-24Patch by Dan Liew: " Modified ConstantExpr::toString() to take anCristian Cadar
2012-10-19Added missing header file (part of the last patch).Cristian Cadar
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 00:29:11 +0000