about summary refs log tree commit diff homepage
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
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
2017-01-18[CMake] Remove `ENABLE_TESTS` CMake cache option.Dan Liew
2017-01-16[CMake] If CMP0037 policy is available set it to NEW so that weDan Liew
2017-01-16[CMake] Only add dependencies to `check` if the target is enabled.Dan Liew
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-12-19[CMake] Fix linker warning about mixed linking modes when LLVM wasDan Liew
2016-12-09[CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC`Dan Liew
2016-12-01Merge pull request #523 from delcypher/remove_klee_tag_outputCristian Cadar
2016-11-30Remove support for reporting the approximate git tag.Dan Liew
2016-11-30Increasing version to 1.3.0Cristian Cadar
2016-11-23[CMake] Fix some indentation issues.Dan Liew
2016-11-23[CMake] Fix bug where the wrong path is checked for when checkingDan Liew
2016-11-20[CMake] Fix the old Autoconf/Makefile build system files in source tree inter...Dan Liew
2016-11-07[CMake] Report git revision information if available.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 00:22:19 +0000