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
Age
Commit message (
Expand
)
Author
2023-03-23
Transition to GitHub Container Registry hosting
Martin Nowack
2023-03-23
fix unused variable warning
Daniel Schemmel
2023-03-23
Remove model_version from the POSIX runtime, as we have never used it.
Cristian Cadar
2023-03-23
tests: add Feature/KleeStatsTermClasses.c
Frank Busse
2023-03-23
stats: add termination class stats
Frank Busse
2023-03-23
tests: add Feature/KleeStatsBranches.c
Frank Busse
2023-03-23
stats: add branch type stats
Frank Busse
2023-03-23
stats: rename States -> ActiveStates, add States
Frank Busse
2023-03-23
stats: add Allocations
Frank Busse
2023-03-23
stats: rename numQueries/Queries -> SolverQueries, add Queries
Frank Busse
2023-03-23
stats: add ExternalCalls
Frank Busse
2023-03-23
stats: add QCacheHits/Misses
Frank Busse
2023-03-23
stats: add InhibitedForks
Frank Busse
2023-03-23
remove obsolete header
Daniel Schemmel
2023-03-23
Run KDAlloc/rusage unittest a few times to allow for swapfile interference
Daniel Schemmel
2023-03-22
Added more test cases for --entry-point. EntryPointMissing is currently expec...
Cristian Cadar
2023-03-22
STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...
Frank Busse
2023-03-22
Change `llvm_map_components_to_libnames` to `llvm_config` CMake function
Martin Nowack
2023-03-22
use C++17
Julian Büning
2023-03-22
Require minimal version of CMake 3.16 for KLEE
Martin Nowack
2023-03-22
Remove hard to understand and debug pcregrep test
Cristian Cadar
2023-03-22
klee-stats: improve error message for missing tabulate package
Frank Busse
2023-03-22
Fixed typo
Martin Nowack
2023-03-22
Handle fail of KLEE gracefully
Martin Nowack
2023-03-22
Explicitly check if 32bit support is enabled for testing
Martin Nowack
2023-03-20
ConstantArrayExprVisitor: Fix detection of multiple array indices
Lukáš Zaoral
2023-03-20
ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`
Lukáš Zaoral
2023-03-20
llvm14: port test/Feature/VarArgByVal.c to LLVM 14
Lukáš Zaoral
2023-03-20
llvm14: PointerType::getElementType() was deprecated
Lukáš Zaoral
2023-03-20
llvm14: TargetRegistry.h was moved from Support to MC
Lukáš Zaoral
2023-03-20
llvm14: Add LLVM 14 job to GitHub Actions
Lukáš Zaoral
2023-03-20
llvm14: Add LLVM 14 to lit.cfg
Lukáš Zaoral
2023-03-17
Update KDAlloc unittests
Martin Nowack
2023-03-17
Update CI components
Martin Nowack
2023-03-17
Fix script to build all the containers we require for GitHub actions
Martin Nowack
2023-03-17
Update Docker build components
Martin Nowack
2023-03-17
Use newer LLVM_DIR config option to build FreeBSD
Martin Nowack
2023-03-17
Don't fail `KleeStats.c` test if it takes 1s or longer
Martin Nowack
2023-03-17
Disable `const_array_opt1` for ubsan as well
Martin Nowack
2023-03-17
Fix uninitialised memory access while reading last path entry
Martin Nowack
2023-03-17
Fix building of runtime library and klee-replay
Martin Nowack
2023-03-17
Add support to disable memsan instrumentation; update UB/Asan suppression
Martin Nowack
2023-03-17
Update build scripts
Martin Nowack
2023-03-17
[MemSan] Mark memory objects modified by syscalls as initialised
Martin Nowack
2023-03-17
Fix compiler warning with newer compilers
Martin Nowack
2023-03-17
Use bitcode library paths via config generation instead of `-D` flags
Martin Nowack
2023-03-17
[cmake] Use LLVM's CMake functionality only
Martin Nowack
2023-03-16
Fixed a bug in KLEE libc's implementation of strcmp: according to the C stand...
Cristian Cadar
2023-03-16
Add some system tests for KDAlloc
Daniel Schemmel
2023-03-16
Integrate KDAlloc into KLEE
Daniel Schemmel
[prev]
[next]