index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Age
Commit message (
Expand
)
Author
2022-06-13
.err files: minor readability changes to stack trace output
Frank Busse
2022-06-13
Update SpecialFunctionHandler.cpp
Chaoqi Zhang
2022-05-05
cl flags: document default values, remove dead option: --replay-keep-symbolic
Frank Busse
2022-04-25
use mallinfo2 if available
Frank Busse
2022-04-01
Remove unnecessary call to deprecated function sqlite3_enable_shared_cache
Cristian Cadar
2022-03-21
Fixed a wrong type when computing memory usage on macOS
Cristian Cadar
2022-03-17
remove obsolete KLEE_LLVM legacy defines
Julian Büning
2022-03-17
LLVM < 6 leftovers
Julian Büning
2022-03-17
remove LLVM < 6 from sources
Frank Busse
2022-03-17
Fixed GetTotalMallocUsage on macOS to look at all zones. (The test MemoryLimi...
Cristian Cadar
2022-03-09
Core/Executor: Fix unaligned write of fp80 arguments
Lukáš Zaoral
2022-03-09
Core/ExecutionState: Fix uninitialized reads in unit tests
Lukáš Zaoral
2022-01-07
stats: remove reachableUncovered (unused)
Frank Busse
2022-01-06
Comment the code dealing with un/flushed bytes, and resolve old naming issue ...
Cristian Cadar
2022-01-05
introduce BranchTypes
Frank Busse
2022-01-05
Remove outdated reference to klee_make_symbolic_name
Cristian Cadar
2021-12-23
Introduce termination categories
Frank Busse
2021-12-20
llvm13: llvm::APInt::toString has been moved to StringExtras.h
Lukas Zaoral
2021-12-20
llvm13: CreateGEP no longer accepts nullptr
Lukas Zaoral
2021-12-20
llvm13: CreateLoad API with implicit types has been deprecated
Lukas Zaoral
2021-12-20
llvm13: llvm::fs::F_None has been removed
Lukas Zaoral
2021-12-20
Support/FileHandling.cpp: rewrite to C++14
Lukas Zaoral
2021-11-20
Fixed fail with preferCex, removed relation from first argument
Taras Bereznyak
2021-11-02
Core/Executor: use `nullptr` instead of `0`
ᴀᴇꜱᴏᴘʜᴏʀ
2021-10-27
Module/RaiseAsm: Support i686 target as well
Lukas Zaoral
2021-10-27
Module/RaiseAsm: Fix crash when host and bitcode target triples differ
Lukas Zaoral
2021-09-10
llvm12: Implement llvm.abs intrinsic
Lukas Zaoral
2021-09-10
llvm11: Handle llvm.roundeven instrinsic
Lukas Zaoral
2021-09-10
llvm12: Implement llvm.{s,u}{max,min} intrinsics
Lukas Zaoral
2021-09-10
llvm12: VectorType::getNumElements() has been deprecated
Lukas Zaoral
2021-05-10
allocate memory objects for functions
Julian Büning
2021-05-04
differentiate between partial and completed paths in summary and fix paths st...
Frank Busse
2021-04-20
Replaced the time-based delay after which the max-static-*-pct checks are per...
Cristian Cadar
2021-04-20
Refactored maxStaticPctChecks into a sequence of conditions.
Cristian Cadar
2021-04-20
Added a warning when forking is skipped due to MaxStatic*Pct limits being rea...
Cristian Cadar
2021-04-20
Added -max-static-pct-check-delay to replace the hardcoded delay after which ...
Cristian Cadar
2021-04-20
Refactored MaxStatis*Pct conditions into a separate function.
Cristian Cadar
2021-03-04
[Z3] Handle the case when interruption caught by Z3
Pavel Yatcheniy
2021-02-16
Executor: remove obsolete special case for __cxa_{re,}throw
Julian Büning
2021-02-16
add ifdefs for C++ exception handling
Julian Büning
2020-12-04
llvm11: CallBase::getParamAlignment has been deprecated
Lukas Zaoral
2020-12-04
llvm11: GlobalValue::getAlignment has been removed
Lukas Zaoral
2020-12-04
llvm11: IPConstantPropagationPass has been removed
Lukas Zaoral
2020-12-04
llvm11: Composite and Sequential types were removed
Lukas Zaoral
2020-12-04
llvm11: Use getCalledOperand instead of getCalledValue
Lukas Zaoral
2020-12-04
llvm11: Make conversions from StringRef to std::string explicit
Lukas Zaoral
2020-11-12
Casting.h: isa_and_nonnull<>
Julian Büning
2020-11-12
Ref: implement operator bool()
Julian Büning
2020-11-04
Link to the different runtime libraries depending on the application to test.
Martin Nowack
2020-10-21
fix Executor: remove UB from bindInstructionConstants
Julian Büning
[next]