| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-30 | Build libcxx in parallel if possible | Martin Nowack | |
| 2022-03-30 | Use newer sqlite version using the build script | Martin Nowack | |
| 2022-03-30 | Minor clean-up | Martin Nowack | |
| 2022-03-30 | Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler | Martin Nowack | |
| All three can be different but also provided by the same package. By separating the different use-cases, it allows to set them independently. | |||
| 2022-03-30 | Kitware's cmake is not available for non-LTS Ubuntu versions | Martin Nowack | |
| Don't try to install it for non-LTS Ubuntu versions | |||
| 2022-03-30 | Avoid installing Python 2 | Martin Nowack | |
| 2022-03-30 | Remove support for old Ubuntu | Martin Nowack | |
| 2022-03-30 | Add support to `sudo` if necessary | Martin Nowack | |
| Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure. | |||
| 2022-03-22 | Add Doxygen to one CI target | Cristian Cadar | |
| 2022-03-22 | Removed/updated obsolete Doxygen configuration options | Cristian Cadar | |
| 2022-03-22 | Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵ | Cristian Cadar | |
| ENABLE_DOXYGEN=ON | |||
| 2022-03-22 | Disabled Doxygen by default | Cristian Cadar | |
| 2022-03-22 | Require cmake 3.9+ | 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 | ADT/Ref.h: remove header | Frank Busse | |
| 2022-03-17 | remove LLVM < 6 from build/test scripts | Frank Busse | |
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse | |
| 2022-03-17 | Updated test MemoryLimit.c to use FileCheck, and formatted the file | Cristian Cadar | |
| 2022-03-17 | Document that GetTotalMallocUsage returns the usage in bytes | Cristian Cadar | |
| 2022-03-17 | Fixed GetTotalMallocUsage on macOS to look at all zones. (The test ↵ | Cristian Cadar | |
| MemoryLimit.h fails on macOS 12.1 without this fix.) | |||
| 2022-03-11 | FD_Fail: use /dev/zero instead of /etc/mtab | Morgan Jones | |
| /etc/mtab doesn't exist in the Nix build sandbox since /etc doesn't exist. However, /dev/zero is more common on UNIX systems and does. | |||
| 2022-03-09 | Core/Executor: Fix unaligned write of fp80 arguments | Lukáš Zaoral | |
| ... in Executor::callExternalFunction. Fixes the following error reported in Feature/VarArg{Alignment,LongDouble}.c tests: lib/Expr/Expr.cpp:366:5: runtime error: store to misaligned address 0x7ffc011d3528 for type 'long double', which requires 16 byte alignment | |||
| 2022-03-09 | Core/ExecutionState: Fix uninitialized reads in unit tests | Lukáš Zaoral | |
| ... by initialising all members of fundamental types of the ExecutionState class. Fixes the following error in SearcherTest.{Two,}RandomPath unit tests: lib/Core/ExecutionState.cpp:114:22: runtime error: load of value 254, which is not a valid value for type 'bool' | |||
| 2022-03-09 | CI: add `-fno-sanitize-recover=undefined` to UBSAN flags | Lukáš Zaoral | |
| By default, UBSAN does not fail when it reports an error. Thus, the UBSAN CI was green even though there were some errors reported. | |||
| 2022-03-09 | tests: make UBSAN print stack traces | Lukáš Zaoral | |
| 2022-03-09 | CI: drop `-fsanitize=integer` from UBSAN flags | Lukáš Zaoral | |
| When combined with `-fsanitize=undefined`, this flag only enables extra checks for unsigned integer overflow and (possibly bug-prone) implicit conversions between integer types. It was generating way too much noise (both for KLEE and its dependencies) and the reported problems do not lead to an undefined behaviour according to the C++ standard. | |||
| 2022-03-09 | CI: Update GTest to 1.11.0 | Lukáš Zaoral | |
| 2022-03-09 | CI: Update Z3 to 4.8.14 | Lukáš Zaoral | |
| 2022-03-09 | build: fix missing target for grep | Frank Busse | |
| 2022-03-09 | fix CMake: gtest from llvm includes gtest_main | Julian Büning | |
| 2022-01-07 | tests: add Feature/KleeStatsNoBr.c | Frank Busse | |
| 2022-01-07 | tests: adapt Feature/KleeStatsColumns.test to klee-stats changes | Frank Busse | |
| 2022-01-07 | tests: extend Feature/KleeStats.c | Frank Busse | |
| 2022-01-07 | klee-stats: fix --print-more | Frank Busse | |
| 2022-01-07 | klee-stats: add --print-columns | Frank Busse | |
| 2022-01-07 | klee-stats: do not print summary line for csv/readable-csv | Frank Busse | |
| 2022-01-07 | klee-stats: fix BCov calculation for zero br instructions | Frank Busse | |
| 2022-01-07 | klee-stats: rename/reorder/document columns | Frank Busse | |
| * rename columns for consistency * reorder columns and group by "categories" * add missing documentation * fix existing documentation * show MaxMem as float | |||
| 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 | |
| by renaming flushMask to unflushedMask | |||
| 2022-01-06 | Remove old Travis CI support | Martin Nowack | |
| We don't use it anymore. No need to burn additional cycles. | |||
| 2022-01-06 | Dockerfile: use Google Test 1.11.0 | Julian Büning | |
| 2022-01-05 | introduce BranchTypes | Frank Busse | |
| 2022-01-05 | unittests/TestMain: show stack trace on error | Julian Büning | |
| 2022-01-05 | fix CMake: use own TestMain instead of gtest_main | Julian Büning | |
| Before, we would use gtest_main as provided by either LLVM or Google Test itself; the TestMain.cpp was ignored (contrary to its source code comment). In newer versions of Google Test (1.8.1+), gtest_main uses `__FILE__` for its "Running main() from" line, but llvm-lit (which we use to invoke unit tests) currently matches exactly "Running main() from gtest_main.cc" for determining whether to skip this line. This results in spurious "tests" that will be shown as unresolved. | |||
| 2022-01-05 | CMake: set Google Test options properly | Julian Büning | |
| If the used CMake version is recent enough to support the necessary policy CMP0077, set INSTALL_GTEST using normal variables instead of cache variables. We never want to allow Google Test to add to the install target, so we should not allow a user to interfere with this. In addition, we set BUILD_GMOCK=OFF (and the necessary BUILD_GTEST=ON for Google Test 1.8.0), as our current tests do not require Google Mock. | |||
| 2022-01-05 | fix CMake: GTEST_INSTALL -> INSTALL_GTEST | Julian Büning | |
| As far as I can tell, the variable intended to be set here was never called GTEST_INSTALL. | |||
| 2022-01-05 | CMake: include GTest include hint for 1.8.0+ | Julian Büning | |
| Later versions of googletest also ship googlemock alongside googletest. Thus, the include directory we are looking for is located in a subdirectory. The source directory, however, does not change as googletest/CMakeLists.txt references variables set in CMakeLists.txt of the root directory and is not intended to be included directly. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |