about summary refs log tree commit diff homepage
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2020-12-07Update version to 2.2 v2.2 2.2.xCristian Cadar
2020-12-04Only build 32bit runtime libraries if supported by platformMartin Nowack
2020-11-20slightly improve C++-related CMake stringsJulian Büning
2020-11-20fix CMake: libcxxabi is only required with KLEE_EH_CXXJulian Büning
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
2020-11-04[cmake] Always create KLEE runtime directory even if POSIX is not builtMartin Nowack
2020-11-04[cmake] Remove clean_all target as not needed by any additional targetMartin Nowack
2020-11-04[cmake] Remove several leftovers from old autoconf build systemMartin Nowack
2020-11-04[cmake] Switch to "newer" cmake version 3.5.0Martin Nowack
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12fix building klee-cxxabiJulian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-03-06Updating KLEE's version post-releaseCristian Cadar
2020-03-03Set version to 2.1Cristian Cadar
2019-07-30CMake: show values of optional LLVM variablesJulian Büning
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-02Do not take sys/capability.h header into account on FreeBSD. Also use libutil...Gleb Popov
2019-03-20Moving to version 2.1-preCristian Cadar
2019-03-19Set version to 2.0!Cristian Cadar
2019-03-17Cmake enhance detection of C++ libraries and include filesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-12Add support to compile KLEE with MemorySanitizer (MSan)Martin Nowack
2019-03-05workaround for LLVM PR39177Julian Büning
2018-12-14Enable C++14 supportMartin Nowack
2018-10-10cmake/lit: add asan/non-asan, ubsan/non-ubsan flagsFrank Busse
2018-10-08add support for klee-replay on OSXFrank Busse
2018-09-14llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+AssertsJiri Slaby
2018-08-03Disabled unit testing in default buildAndrea Mattavelli
2018-07-10Enabled tcmalloc by defaultTimotej Kapus
2018-07-04Link dynamic libraries with specific paths instead of resolving them during r...Martin Nowack
2018-07-04Add missing out-of-tree include files directory for TCMallocMartin Nowack
2018-07-04Support sanitizer suppression files with lit-based testingMartin Nowack
2018-07-02CMake: use cmake_{push,pop}_check_stateJulian Büning
2018-07-02CMake: check for ctype and mallinfo functions with CXX instead of C compilerJulian Büning
2017-10-26[cmake]Fix detection of non-standard path for tcmallocMartin Nowack
2017-10-05enforce c++11Jörg Thalheim
2017-10-04[CMake] Add global clean target `clean_all`. Fixes #718.Dan Liew
2017-10-04[CMake] Fix bug when doing non-assert builds.Dan Liew
2017-10-03[CMake] Report the value of some important variables during configureDan Liew
2017-10-03[CMake] Fix initialisation order of `KLEE_COMPONENT_*` andDan Liew
2017-07-31Fix build for FreeBSD.Tatiana Tikhomirova
2017-07-28[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be setDan Liew
2017-07-28[CMake] Add `ENABLE_ZLIB` option to control whether KLEE usesDan Liew
2017-07-28[CMake] Refactor Z3 detection and change the default value ofDan Liew
2017-07-28[CMake] Refactor STP detection and change the default value ofDan Liew
2017-07-25[CMake] Emit warning when mixing assert and non assert builds.Dan Liew
2017-07-20Switching version to 1.4.0Cristian Cadar
2017-05-02[CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM vers...Hoang M. Le
2017-05-02use METASMT_REQUIRE_RTTI flag to decide whether we need RTTIHoang M. Le
2017-03-30[CMake] When supported pass `USES_TERMINAL` argument toDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 10:36:59 +0000