| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2018-07-02 | CMake: use cmake_{push,pop}_check_state | Julian Büning | |
| 2018-07-02 | CMake: check for ctype and mallinfo functions with CXX instead of C compiler | Julian Büning | |
| 2017-10-26 | [cmake]Fix detection of non-standard path for tcmalloc | Martin Nowack | |
| 2017-10-05 | enforce c++11 | Jörg Thalheim | |
| fixes #314 | |||
| 2017-10-04 | [CMake] Add global clean target `clean_all`. Fixes #718. | Dan Liew | |
| This target invokes the `clean` target but is also intended for use by other cleaning targets. The `clean_runtime` target is now declared as a dependency of `clean-all` so that the runtime is cleaned as well. | |||
| 2017-10-04 | [CMake] Fix bug when doing non-assert builds. | Dan Liew | |
| It seems we need to pass `-D` to CMake explicitly. | |||
| 2017-10-03 | [CMake] Report the value of some important variables during configure | Dan Liew | |
| to aid debugging. | |||
| 2017-10-03 | [CMake] Fix initialisation order of `KLEE_COMPONENT_*` and | Dan Liew | |
| `KLEE_SOLVER_LIBRARIES` variables. The code to add `NDEBUG` to `KLEE_COMPONENT_CXX_DEFINES` did so before initialisation and would be silently overwritten. | |||
| 2017-07-31 | Fix build for FreeBSD. | Tatiana Tikhomirova | |
| On FreeBSD <sys/capabilities.h> is present in libc, so we don't require libcap there. Close and write functions are located in <unistd.h>. | |||
| 2017-07-28 | [CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set | Dan Liew | |
| dynamically based on whether MetaSMT is available. Previously the default was always off. | |||
| 2017-07-28 | [CMake] Add `ENABLE_ZLIB` option to control whether KLEE uses | Dan Liew | |
| zlib. The default is `ON` if zlib is found on first configure and `OFF` if zlib is not found on first configure. | |||
| 2017-07-28 | [CMake] Refactor Z3 detection and change the default value of | Dan Liew | |
| `ENABLE_SOLVER_Z3` to be set dynamically based on whether Z3 is available. Previously the default was always off. | |||
| 2017-07-28 | [CMake] Refactor STP detection and change the default value of | Dan Liew | |
| `ENABLE_SOLVER_STP` to be set dynamically based on whether STP is available. Previously the default was always off. | |||
| 2017-07-25 | [CMake] Emit warning when mixing assert and non assert builds. | Dan Liew | |
| This could lead to lots of problems. If we discover that these configurations don't work at all we should make this an error. | |||
| 2017-07-20 | Switching version to 1.4.0 | Cristian Cadar | |
| 2017-05-02 | [CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM ↵ | Hoang M. Le | |
| version and a metaSMT version that requires RTTI | |||
| 2017-05-02 | use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI | Hoang M. Le | |
| 2017-03-30 | [CMake] When supported pass `USES_TERMINAL` argument to | Dan Liew | |
| `ExternalProject_Add_Step()` so that when using Ninja the output of the bitcode build system is shown immediately. | |||
| 2017-01-18 | [CMake] Remove `ENABLE_TESTS` CMake cache option. | Dan Liew | |
| The intention of this option was to provide a switch that can be used to globally enable/disable tests. This option ended up causing a lot of confusion as can be seen on the discussion on writing documention for the new build system. https://github.com/klee/klee.github.io/pull/53 So it was decided to remove this option. This fixes #568 . | |||
| 2017-01-16 | [CMake] If CMP0037 policy is available set it to NEW so that we | Dan Liew | |
| disallow using reserved target names. | |||
| 2017-01-16 | [CMake] Only add dependencies to `check` if the target is enabled. | Dan Liew | |
| Surprisingly the old code still worked even when the target didn't exist. | |||
| 2017-01-16 | [CMake] Rename "integrationtests" to "systemtests". | Dan Liew | |
| This was a proposal from #500. @andreamattavelli pointed out that the lit tests are really system tests rather than integration tests so this commit fixes the inappropriate naming that I chose. | |||
| 2016-12-19 | [CMake] Fix linker warning about mixed linking modes when LLVM was | Dan Liew | |
| built with `-fvisibility-inlines-hidden`. This was observed when using a bottled version of LLVM 3.4 on macOS that appears to have been built with this option. | |||
| 2016-12-09 | [CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC` | Dan Liew | |
| and then re-configured with `ENABLE_TCMALLOC` set to OFF then `klee/Config/config.h` was not correctly re-generated. | |||
| 2016-12-01 | Merge pull request #523 from delcypher/remove_klee_tag_output | Cristian Cadar | |
| Remove support for reporting the approximate git tag. | |||
| 2016-11-30 | Remove support for reporting the approximate git tag. | Dan Liew | |
| This was confusing because it would emit something like `v1.0.0-290-g08d4716` because the 1.1.0 and 1.2.0 releases didn't have a tag on the master branch so `git describe --tags` would just find the `v1.0.0` tag and report based on that tag. | |||
| 2016-11-30 | Increasing version to 1.3.0 | Cristian Cadar | |
| 2016-11-23 | [CMake] Fix some indentation issues. | Dan Liew | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/CMakeLists.txt