| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-06-07 | Changed version to 3.1-pre | Cristian Cadar | |
| 2023-06-07 | Set version number to 3.0 | Cristian Cadar | |
| 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 | CMake: use built-in FindSQLite3 module | Julian Büning | |
| available since CMake version 3.14 | |||
| 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-03-30 | fix CMake: -UNDEBUG | Julian Büning | |
| 2023-03-22 | Change `llvm_map_components_to_libnames` to `llvm_config` CMake function | Martin Nowack | |
| With recent LLVM versions, this should allow to link against dynamic LLVM libraries. | |||
| 2023-03-22 | use C++17 | Julian Büning | |
| 2023-03-22 | Require minimal version of CMake 3.16 for KLEE | Martin Nowack | |
| This is the default version for Ubuntu 20.04 and should be available for most distributions. Moreover this should allow to move STP forward with their changes. (https://github.com/stp/stp/issues/375#issuecomment-889178863) | |||
| 2023-03-22 | Explicitly check if 32bit support is enabled for testing | Martin Nowack | |
| Ignore test in the first place, if no 32bit is enabled. | |||
| 2023-03-17 | [cmake] Use LLVM's CMake functionality only | Martin Nowack | |
| LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0). | |||
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-04-25 | use mallinfo2 if available | Frank Busse | |
| 2022-04-04 | Set version number to 3.0-pre | Cristian Cadar | |
| 2022-04-04 | Setting version to 2.3 | Cristian Cadar | |
| 2022-03-22 | Require cmake 3.9+ | Cristian Cadar | |
| 2021-12-19 | cmake: copy klee-uclibc and klee-libcxx to expected locations | Lukas Zaoral | |
| Before this change, we created a symlink to the given libraries in their expected location and then installed the original library. This was problematic as the install directives are performed the order they are encountered during the configure step and the installation of directory containing the symlink was processed after the installation of the original library. Therefore, the original libraries were installed but were subsequently overwritten by the symlinks that can become broken rather easily. This commit changes the behaviour so that we create copy the libraries to the expected location and install them together with the rest of the KLEE runtime as was originally intended. | |||
| 2021-03-05 | Add cmake custom target `uninstall` | jiseongg | |
| `make uninstall` is enabled. Without this, uninstalling was done manually with `rm` command. | |||
| 2021-03-04 | cmake: Fix warning about implicit type conversion | Lukas Zaoral | |
| Fixes: CMake Warning (dev) at CMakeLists.txt:478 (set): implicitly converting 'String' to 'STRING' type. This warning is for project developers. Use -Wno-dev to suppress it. | |||
| 2021-02-16 | renaming 'libcxx' -> 'libc++' | Julian Büning | |
| 2020-12-18 | retire some build system legacy | Julian Büning | |
| 2020-12-07 | Advancing version to 2.3-pre | Cristian Cadar | |
| 2020-12-07 | Update version to 2.2 v2.2 2.2.x | Cristian Cadar | |
| 2020-12-04 | Only build 32bit runtime libraries if supported by platform | Martin Nowack | |
| Automatically detect if 32bit bitcode files can be built. In this case, build runtime library with 32bit as well. | |||
| 2020-11-20 | slightly improve C++-related CMake strings | Julian Büning | |
| 2020-11-20 | fix CMake: libcxxabi is only required with KLEE_EH_CXX | Julian Büning | |
| 2020-11-04 | [cmake] Add support to generate arbitrary runtime library configurations | Martin Nowack | |
| Every runtime library can be build with multiple configurations. Replace the Makefile-based setup by cmake one. Currently, we generate 32bit and 64bit libraries simultaneously and can link against them. | |||
| 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] Remove several leftovers from old autoconf build system | Martin Nowack | |
| 2020-11-04 | [cmake] Switch to "newer" cmake version 3.5.0 | Martin Nowack | |
| Ubuntu 16.04 supports cmake 3.5.0 as default. Cmake 2.8.12 was the default in 14.04. Use cmake 3 to simplify cmake files. | |||
| 2020-10-12 | Exception handling only for LLVM >= 8.0.0 | Julian Büning | |
| 2020-10-12 | fix building klee-cxxabi | Julian Büning | |
| Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de> | |||
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath | |
| We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | |||
| 2020-03-06 | Updating KLEE's version post-release | Cristian Cadar | |
| 2020-03-03 | Set version to 2.1 | Cristian Cadar | |
| 2019-07-30 | CMake: show values of optional LLVM variables | Julian Büning | |
| 2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus | |
| 2019-04-02 | Do not take sys/capability.h header into account on FreeBSD. Also use ↵ | Gleb Popov | |
| libutil.h header there. | |||
| 2019-03-20 | Moving to version 2.1-pre | Cristian Cadar | |
| 2019-03-19 | Set version to 2.0! | Cristian Cadar | |
| 2019-03-17 | Cmake enhance detection of C++ libraries and include files | Martin Nowack | |
| * Use directory instead of libc++ files * support `bca` and `ba` files * Add additional checks if directories exist | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
| 2019-03-12 | Add support to compile KLEE with MemorySanitizer (MSan) | Martin Nowack | |
| 2019-03-05 | workaround for LLVM PR39177 | Julian Büning | |
| provides a workaround for LLVM bug PR39177, which affects LLVM versions 3.9 - 7.0.0: https://bugs.llvm.org/show_bug.cgi?id=39177 This commit is intended to be reverted once support for LLVM versions <= 7 is dropped from KLEE. | |||
| 2018-12-14 | Enable C++14 support | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/CMakeLists.txt