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-09-07
Remove broken experimental optimisation for validity (--cex-cache-exp)
Cristian Cadar
2023-07-21
Add code to only keep in the --help menu the KLEE/Kleaver option categories
Cristian Cadar
2023-07-21
Move some options to the klee namespace and declare them in OptionCategories.h
Cristian Cadar
2023-07-12
Replaced --suppress-external-warnings and --all-external-warnings with --exte...
Cristian Cadar
2023-07-10
remove timings from kdalloc tests
Daniel Schemmel
2023-07-10
Simplify KDAlloc tests
Daniel Schemmel
2023-07-08
Combine all `ConstantExpr::toMemory` cases into one.
Daniel Schemmel
2023-07-08
Using std::memcpy prevents alignment problems and removes an unnecessary spec...
Daniel Schemmel
2023-07-06
Implement getLocationInfo in the same style as getSize
Daniel Schemmel
2023-07-06
Have CoWPtr::get and CoWPtr::getOwned return pointers instead of references
Daniel Schemmel
2023-07-06
rename Allocator::location_info to Allocator::locationInfo for
Daniel Schemmel
2023-07-06
Perform location_info tests in KDAlloc's random test
Daniel Schemmel
2023-06-26
RefTest: suppress -Wself-move
Julian Büning
2023-06-26
Consistently use ".ktest" when referring to .ktest files in the help menu
Cristian Cadar
2023-06-26
Remove parentheses around klee_ intrinsics from the help menu
Cristian Cadar
2023-06-26
Fixed a couple of spelling issues in the help menu
Cristian Cadar
2023-06-26
Improved help message for --exit-on-error-type=Abort
Cristian Cadar
2023-06-11
Rewrote has_permission in the POSIX runtime. We now only return with permiss...
Cristian Cadar
2023-06-11
SpecialFunctionHandler: use std::array for handlerInfo
Julian Büning
2023-06-11
fix ktest-randgen: use after free
Julian Büning
2023-06-09
Fixed a format specifier pointed to by a compiler warning.
Cristian Cadar
2023-06-07
Changed version to 3.1-pre
Cristian Cadar
2023-06-07
Release notes for KLEE 3.0
v3.0
3.0.x
Cristian Cadar
2023-06-07
Set version number to 3.0
Cristian Cadar
2023-06-07
Fixed end date in the 2.3 release notes
Cristian Cadar
2023-06-07
Build and push Docker image as part of a release
Martin Nowack
2023-06-07
Use recommended LLVM 13 as part of the Docker image
Martin Nowack
2023-06-07
unittests/CMakeLists.txt: set gtest include dir only if necessary
Julian Büning
2023-06-07
unittests/CMakeLists.txt: do not echo GTEST_SRC_DIR on error
Julian Büning
2023-06-07
unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBS
Julian Büning
2023-06-07
unittests/CMakeLists.txt: remove obsolete policy
Julian Büning
2023-06-07
unittests/CMakeLists.txt: fix LLVM find_package support
Julian Büning
2023-06-07
unittests/CMakeLists.txt: gtest check for LLVM 13+
Julian Büning
2023-06-06
ktest-gen: remove unused function
Frank Busse
2023-06-06
Further improve KDAlloc memory usage with infinite quarantine
Daniel Schemmel
2023-06-05
test/Feature/StackTraceOutput.c: relative checks, clang-format
Julian Büning
2023-06-05
re-enable StackTraceOutput.c test
Julian Büning
2023-06-05
make BatchingSearcher more readable
Julian Büning
2023-06-05
fix BatchingSearcher's disabled time budget
Julian Büning
2023-06-05
also check for default CHECK directive in ArrayOpt Tests
Matthis Gördel
2023-06-05
CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL
Julian Büning
2023-06-05
config.h: include FSTATAT_PATH_ACCEPTS_NULL
Julian Büning
2023-06-05
.clang-format: c++17
Julian Büning
2023-06-05
doxygen.cfg.in: DOXYGEN_OUTPUT_DIR
Julian Büning
2023-06-05
CMake: use built-in FindSQLite3 module
Julian Büning
2023-06-05
README-CMake.md: clean up top-level targets
Julian Büning
2023-06-05
docs/CMakeLists.txt: drop support for old CMake versions
Julian Büning
2023-06-05
CMake: remove obsolete comments
Julian Büning
2023-06-05
CMake: remove obsolete KLEE_COMPONENT_EXTRA_LIBRARIES
Julian Büning
2023-06-05
CMake: remove unused TARGET_LIBS variable
Julian Büning
[prev]
[next]