| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2018-10-10 | cmake/lit: add asan/non-asan, ubsan/non-ubsan flags | Frank Busse | |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse | |
| * also adds klee-replay as dependency for systemtests | |||
| 2018-09-14 | llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts | Jiri Slaby | |
| So that we do not optimize the library during build. It should be optimized only on runtime, depending on the -optimize parameter. It could cause various failures like: inlinable function call in a function with debug info must have a !dbg location call void @klee_overshift_check(i64 64, i64 %int_cast_to_i64) Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-08-03 | Disabled unit testing in default build | Andrea Mattavelli | |
| 2018-07-10 | Enabled tcmalloc by default | Timotej Kapus | |
| 2018-07-04 | Link dynamic libraries with specific paths instead of resolving them during ↵ | Martin Nowack | |
| runtime | |||
| 2018-07-04 | Add missing out-of-tree include files directory for TCMalloc | Martin Nowack | |
| 2018-07-04 | Support sanitizer suppression files with lit-based testing | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/CMakeLists.txt