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
2020-11-09
Test checking that __memchk_chk is handled correctly with the freestanding li...
Cristian Cadar
2020-11-04
Rename FreeStanding to Freestanding where appropriate
Martin Nowack
2020-11-04
[build] Add multilib package to build 32bit on ubuntu
Martin Nowack
2020-11-04
Link to the different runtime libraries depending on the application to test.
Martin Nowack
2020-11-04
[cmake] Add support to generate arbitrary runtime library configurations
Martin Nowack
2020-11-04
[cmake] Always create KLEE runtime directory even if POSIX is not built
Martin Nowack
2020-11-04
[cmake] Remove clean_all target as not needed by any additional target
Martin Nowack
2020-11-04
[cmake] Use clean command to remove generated doxygen files
Martin Nowack
2020-11-04
[cmake] Remove several leftovers from old autoconf build system
Martin Nowack
2020-11-04
[cmake] Switch to "newer" cmake version 3.5.0
Martin Nowack
2020-11-03
fix: bcmp with n==0
Alastair Reid
2020-10-30
Call functions in __cxa_atexit in reverse order
Tomas Jasek
2020-10-30
Add test for atexit order
Tomas Jasek
2020-10-30
Use the default version of LLVM for the macOS Travis target
Cristian Cadar
2020-10-30
Mark the StaticDestructor test as failing on macOS
Cristian Cadar
2020-10-30
Optimize StaticDestructor test to be less fragile to compiler optimizations.
Cristian Cadar
2020-10-21
fix Executor: remove UB from bindInstructionConstants
Julian Büning
2020-10-12
searchers: more consistent formatting
Frank Busse
2020-10-12
DFS/BFS/RandomSearcher: replace loop with std::find
Frank Busse
2020-10-12
searchers: move implementations from .h to .cpp
Frank Busse
2020-10-12
Searcher: remove addState/removeState functions
Frank Busse
2020-10-12
MergingSearcher: remove random-path incompatibility
Frank Busse
2020-10-12
searchers: clean up, add documentation
Frank Busse
2020-10-12
address MartinNowack's remaining feedback
Julian Büning
2020-10-12
README-CMAKE.md: add C++ related variables
Julian Büning
2020-10-12
Exception handling only for LLVM >= 8.0.0
Julian Büning
2020-10-12
fix cxa_exception include for older LLVM versions
Julian Büning
2020-10-12
fix building klee-cxxabi
Julian Büning
2020-10-12
use isa<> and explicit nullptr-check for compilation with older LLVM versions...
Felix Rath
2020-10-12
Implemented support for C++ Exceptions
Felix Rath
2020-10-12
Add `ENABLE_DOXYGEN=0` to default config in .travis.yml
jiseongg
2020-10-12
Add doxygen support in docker image
jiseongg
2020-10-12
Remove unused cmake arguments when building docker
jiseongg
2020-10-09
implement fneg instruction
Julian Büning
2020-10-09
fix: fabs() working on the wrong argument
David Laprell
2020-10-09
Replace `NULL` with explicit `nullptr`
Martin Nowack
2020-10-09
Explicitly track global variables in getDirectCallTarget
Martin Nowack
2020-10-09
Add testcase for weakly linked globals
Martin Nowack
2020-10-06
Ran clang-format on intrinsics.c and removed unneeded comment
Cristian Cadar
2020-10-06
Added support for klee_open_merge and klee_close_merge in replay, together wi...
Cristian Cadar
2020-09-30
klee-stats: fix behaviour for broken/empty DBs
Frank Busse
2020-09-30
tests: add tests for empty .stats and additional/missing columns
Frank Busse
2020-09-30
tests: support .test and introduce %klee-stats
Frank Busse
2020-09-30
Add check if KLEE is installed
Martin Nowack
2020-09-30
Use LLVM 6.0 for now on macOS
Martin Nowack
2020-09-30
[CMake][Z3] Check if function `Z3_get_error_msg` needs `context` using C++
Martin Nowack
2020-09-30
Update Dockerfile to use LLVM 9.0 and newer Ubuntu version
Martin Nowack
2020-09-30
Remove shebang from include
Martin Nowack
2020-09-30
Fix LLVM 4.0 build patch
Martin Nowack
2020-09-30
Fix docker ID handling for sqlite
Martin Nowack
[next]