about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2015-10-17Implemented SV-COMP 2016 runtime functions which can be activated withDan Liew
2015-08-03Merge pull request #198 from holycrap872/IndependentSolverGetInitialValuesCristian Cadar
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2015-04-15Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshiftDan Liew
2015-04-03Fixed issue introduce during a previous refactoring, related to field ordering.Cristian Cadar
2015-04-02Merge pull request #209 from erakadjiev/timestamp_optimizeCristian Cadar
2015-04-02Revert "[include] Added documentation" to avoid a conflict with a pending pul...Cristian Cadar
2015-04-02Fixed some doxygen issues.Cristian Cadar
2015-04-02Removed unused fakeState field from ExecutionStateCristian Cadar
2015-04-02Pass over the comments in ExecutionState.hCristian Cadar
2015-04-02Removed underConstrained field, which I believe was re-introduced byCristian Cadar
2015-04-02[Core] Documentation and cleanupMartin Nowack
2015-04-01Commit of improved IndependentSolver::getIniitalValues().Eric Rizzi
2015-04-01[include] Add missing functions in klee.hMartin Nowack
2015-04-01[runtime] Fix comments to c style for c files and headersMartin Nowack
2015-04-01[include] Added documentationMartin Nowack
2015-04-01[include] Removed unused variableMartin Nowack
2015-03-13Timestamp improvements.Emil Rakadjiev
2015-02-27Improved some comments and fixed some formatting issues in the Array factory ...Cristian Cadar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 21:50:57 +0000