about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-12-13Clean up a few comments in ExprSMTLIBPrinterDan Liew
2014-12-12Print nested let-abbreviations in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-02Unbreak compilation (in metaSMT configuration) by preventing the #defineHristina Palikareva
2014-12-02The printing of constraints and the QueryExpr have been merged into aDan Liew
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-10-31Switch to using autoconf 2.69 this version is more commonly availableDan Liew
2014-09-19Removed code related to underConstrained, as it is unused (issue pointed out ...Cristian Cadar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12[FloatEvaluation] Use llvm::report_fatal_error() instead of assert(0) for uns...Daniel Dunbar
2014-09-12When building against libc++ (vs libstdcxx), use standard unordered_{map,set}...Daniel Dunbar
2014-09-12Regenerate configure.Daniel Dunbar
2014-09-12Regenerate configure with sanctioned autoconf version.Daniel Dunbar
2014-05-30Fix ExprTest under LLVM 2.9Martin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 05:37:10 +0000