about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.cpp
AgeCommit message (Expand)Author
2024-01-12Follow-up: applied review comments, implemented meta-data cleanup (one more m...Tomasz Kuchta
2024-01-12Feature: implement single memory object resolution for symbolic addresses.Tomasz Kuchta
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-07-12Replaced --suppress-external-warnings and --all-external-warnings with --exte...Cristian Cadar
2023-07-06rename Allocator::location_info to Allocator::locationInfo forDaniel Schemmel
2023-06-26Fixed a couple of spelling issues in the help menuCristian Cadar
2023-06-26Improved help message for --exit-on-error-type=AbortCristian Cadar
2023-05-26Use unique_ptr for MemoryManager and avoid re-creating it in the first placeMartin Nowack
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-06Mark variable as potentially unusedMartin Nowack
2023-03-27Core/Executor: long double on i686 must be aligned to 4 bytesLukáš Zaoral
2023-03-23stats: add termination class statsFrank Busse
2023-03-23stats: add branch type statsFrank Busse
2023-03-23stats: add InhibitedForksFrank Busse
2023-03-23remove obsolete headerDaniel Schemmel
2023-03-20llvm14: PointerType::getElementType() was deprecatedLukáš Zaoral
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2022-09-14Eliminate .undefined_behavior.err category and simplify testsPavel
2022-09-14Introduce separate categories for different kinds of undefined behaviorPavel
2022-07-24Support arguments of width 128, 256 and 512 bits for external callsPavel
2022-07-04Inline asm external callMikhail
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-30remove LLVM < 9Frank Busse
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17LLVM < 6 leftoversJulian Büning
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2022-03-09Core/Executor: Fix unaligned write of fp80 argumentsLukáš Zaoral
2022-01-05introduce BranchTypesFrank Busse
2021-12-23Introduce termination categoriesFrank Busse
2021-11-20Fixed fail with preferCex, removed relation from first argumentTaras Bereznyak
2021-11-02Core/Executor: use `nullptr` instead of `0`ᴀᴇꜱᴏᴘʜᴏʀ
2021-09-10llvm12: Implement llvm.abs intrinsicLukas Zaoral
2021-09-10llvm12: Implement llvm.{s,u}{max,min} intrinsicsLukas Zaoral
2021-09-10llvm12: VectorType::getNumElements() has been deprecatedLukas Zaoral
2021-05-10allocate memory objects for functionsJulian Büning
2021-05-04differentiate between partial and completed paths in summary and fix paths st...Frank Busse
2021-04-20Replaced the time-based delay after which the max-static-*-pct checks are per...Cristian Cadar
2021-04-20Refactored maxStaticPctChecks into a sequence of conditions.Cristian Cadar
2021-04-20Added a warning when forking is skipped due to MaxStatic*Pct limits being rea...Cristian Cadar
2021-04-20Added -max-static-pct-check-delay to replace the hardcoded delay after which ...Cristian Cadar
2021-04-20Refactored MaxStatis*Pct conditions into a separate function.Cristian Cadar
2021-02-16Executor: remove obsolete special case for __cxa_{re,}throwJulian Büning
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2020-12-04llvm11: CallBase::getParamAlignment has been deprecatedLukas Zaoral
2020-12-04llvm11: GlobalValue::getAlignment has been removedLukas Zaoral
2020-12-04llvm11: Composite and Sequential types were removedLukas Zaoral
2020-12-04llvm11: Use getCalledOperand instead of getCalledValueLukas Zaoral
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 17:52:29 +0000