| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-06-11 | Rewrote has_permission in the POSIX runtime. We now only return with ↵ | Cristian Cadar | |
| permission error a single time in symbolic execution mode. The rewrite also fixes a bug reported in #1230. Rewrote the FilePerm.c test accordingly. | |||
| 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 | |
| This prevents the error message to include the internal "GTEST_SRC_DIR-NOTFOUND" value. | |||
| 2023-06-07 | unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBS | Julian Büning | |
| variable obsoleted by 5607a7f1910e579acc0b93b1ae2caba88e7d5fd7 | |||
| 2023-06-07 | unittests/CMakeLists.txt: remove obsolete policy | Julian Büning | |
| Checking for policy CMP0077 is obsolete as we now require CMake 3.16.0 as minimum version. | |||
| 2023-06-07 | unittests/CMakeLists.txt: fix LLVM find_package support | Julian Büning | |
| broken by 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c, which removed the "USE_CMAKE_FIND_PACKAGE_LLVM" variable and no longer includes AddLLVM.cmake | |||
| 2023-06-07 | unittests/CMakeLists.txt: gtest check for LLVM 13+ | Julian Büning | |
| We previously used `LLVM_EXPORTED_TARGETS` defined in LLVMConfig.cmake. This variable is no longer defined starting from LLVM 13. Alternatively, we use the fact that LLVM's gtest target always depends on LLVMSupport. | |||
| 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 | |
| This test previously had a REQUIRES line with geq-llvm-7.0. Because LLVM version 7.0 is no longer "known" (test/lit.cfg), the required feature is not available and the test is discarded as unsupported by llvm-lit. | |||
| 2023-06-05 | make BatchingSearcher more readable | Julian Büning | |
| 2023-06-05 | fix BatchingSearcher's disabled time budget | Julian Büning | |
| The functionality of the batching searcher that increases the time budget if it is shorter than the time between two calls to `selectState()` ignored the disabled time budget. Effectively, the batching searcher thus picks a very arbitrary time budget on its own. | |||
| 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 | |
| is a bit more convenient and avoids an extra file | |||
| 2023-06-05 | config.h: include FSTATAT_PATH_ACCEPTS_NULL | Julian Büning | |
| This variable was introduced by d2f5906da4ae37a41ae257e5308d50e19689877b but not included in `config.h` before. As a result `#ifdef` would always fail. Moving the code is necessary to set the variable before `config.h` is created using `configure_file()` in CMakeLists.txt. | |||
| 2023-06-05 | .clang-format: c++17 | Julian Büning | |
| From the `clang-format` documentation: - "`Cpp11` is a deprecated alias for `Latest`" - `Latest`: "Parse and format using the latest supported language version." | |||
| 2023-06-05 | doxygen.cfg.in: DOXYGEN_OUTPUT_DIR | Julian Büning | |
| resolves a FIXME to streamline doxygen.cfg generation a bit | |||
| 2023-06-05 | CMake: use built-in FindSQLite3 module | Julian Büning | |
| available since CMake version 3.14 | |||
| 2023-06-05 | README-CMake.md: clean up top-level targets | Julian Büning | |
| * the old build system is long gone * clean_doxygen was removed by d5cbc2002bbf75f08036f7adf861b027768a0622 * clean_runtime was removed by 6156b4eeb9a429ccc370782d719d0d6c787a6f72 * clean_all was removed by a00424e64d56ff881a72bfd99ea0dbcbe6898b49 | |||
| 2023-06-05 | docs/CMakeLists.txt: drop support for old CMake versions | Julian Büning | |
| minimum CMake version is 3.16.0 as of 3a0e434dc9d4053d75e9c0bbe6faa6dfb46717ae | |||
| 2023-06-05 | CMake: remove obsolete comments | Julian Büning | |
| obsoleted by changes in 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c | |||
| 2023-06-05 | CMake: remove obsolete KLEE_COMPONENT_EXTRA_LIBRARIES | Julian Büning | |
| This variable was previously used by `klee_add_component()`, which got removed as part of 3ef5c9d0cd51babb7c4ec2d7bb76d0cb7e47a65c. | |||
| 2023-06-05 | CMake: remove unused TARGET_LIBS variable | Julian Büning | |
| It appears that this variable was never used, already when it was first set in 7e75b491d389c15d48a5cfc455ba9442d7c108ed. | |||
| 2023-05-26 | Copy stats to test directory when running tests | Daniel Schemmel | |
| The sqlite3 databases used for the stats are journalled and potentially must be written to. Therefore, the sqlite3 driver used by `klee-stats` requires write permissions on the database files. By copying the stats files to the test directory, we can now compile and test an out-of-tree build without requiring any write permissions on the source folder at all. | |||
| 2023-05-26 | Some basic refactoring and pass through comments. In particular, it brings ↵ | Cristian Cadar | |
| some related code together (deadline with EntryPoint and ReplayPathFile respectively) which was unnecessarily separated. | |||
| 2023-05-26 | Refactored and fixed the code dealing with the entry point. | Cristian Cadar | |
| main() should not be processed if the entry point is a different function. This also fixes an abnormal termination when --entry-point and --libc=uclibc are used together (#1572) | |||
| 2023-05-26 | add unsized free to kdalloc | Daniel Schemmel | |
| 2023-05-26 | Improve LOH deallocation scheme | Daniel Schemmel | |
| 2023-05-26 | Improve error message when KDAlloc fails to create a mapping | Daniel Schemmel | |
| 2023-05-26 | Add `getMapping` primitive to allocator directly | Daniel Schemmel | |
| 2023-05-26 | Add `getSize` primitive to kdalloc | Daniel Schemmel | |
| 2023-05-26 | prevent assertions from failing unnecessarily | Daniel Schemmel | |
| 2023-05-26 | Write `Control::meta` in C++17 style | Daniel Schemmel | |
| 2023-05-26 | Use unique_ptr for MemoryManager and avoid re-creating it in the first place | Martin Nowack | |
| No need to re-create and re-alloc all the memory again after execution. | |||
| 2023-05-26 | Cleaned up and updated codecov file. | Cristian Cadar | |
| 2023-04-21 | Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency ↵ | Cristian Cadar | |
| with recent changes. | |||
| 2023-04-21 | Replaced "-data" and "-stat" by "_data" and "_stat" in the ktest-(rand)gen ↵ | Cristian Cadar | |
| tools for consistency with recent changes. | |||
| 2023-04-21 | use unique_ptr all throughout the solver chain | Daniel Schemmel | |
| 2023-04-21 | use unique_ptr in Solver | Daniel Schemmel | |
| 2023-04-21 | use unique_ptr in QueryLoggingSolver | Daniel Schemmel | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |