about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2022-06-13.err files: minor readability changes to stack trace outputFrank Busse
2022-06-13Update SpecialFunctionHandler.cppChaoqi Zhang
2022-05-05cl flags: document default values, remove dead option: --replay-keep-symbolicFrank Busse
2022-04-25use mallinfo2 if availableFrank Busse
2022-04-01Remove unnecessary call to deprecated function sqlite3_enable_shared_cacheCristian Cadar
2022-03-21Fixed a wrong type when computing memory usage on macOSCristian Cadar
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-17Fixed GetTotalMallocUsage on macOS to look at all zones. (The test MemoryLimi...Cristian Cadar
2022-03-09Core/Executor: Fix unaligned write of fp80 argumentsLukáš Zaoral
2022-03-09Core/ExecutionState: Fix uninitialized reads in unit testsLukáš Zaoral
2022-01-07stats: remove reachableUncovered (unused)Frank Busse
2022-01-06Comment the code dealing with un/flushed bytes, and resolve old naming issue ...Cristian Cadar
2022-01-05introduce BranchTypesFrank Busse
2022-01-05Remove outdated reference to klee_make_symbolic_nameCristian Cadar
2021-12-23Introduce termination categoriesFrank Busse
2021-12-20llvm13: llvm::APInt::toString has been moved to StringExtras.hLukas Zaoral
2021-12-20llvm13: CreateGEP no longer accepts nullptrLukas Zaoral
2021-12-20llvm13: CreateLoad API with implicit types has been deprecatedLukas Zaoral
2021-12-20llvm13: llvm::fs::F_None has been removedLukas Zaoral
2021-12-20Support/FileHandling.cpp: rewrite to C++14Lukas Zaoral
2021-11-20Fixed fail with preferCex, removed relation from first argumentTaras Bereznyak
2021-11-02Core/Executor: use `nullptr` instead of `0`ᴀᴇꜱᴏᴘʜᴏʀ
2021-10-27Module/RaiseAsm: Support i686 target as wellLukas Zaoral
2021-10-27Module/RaiseAsm: Fix crash when host and bitcode target triples differLukas Zaoral
2021-09-10llvm12: Implement llvm.abs intrinsicLukas Zaoral
2021-09-10llvm11: Handle llvm.roundeven instrinsicLukas 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-03-04[Z3] Handle the case when interruption caught by Z3Pavel Yatcheniy
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: IPConstantPropagationPass 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
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-11-12Ref: implement operator bool()Julian Büning
2020-11-04Link to the different runtime libraries depending on the application to test.Martin Nowack
2020-10-21fix Executor: remove UB from bindInstructionConstantsJulian Büning