index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
CMakeLists.txt
Age
Commit message (
Expand
)
Author
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
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 configure
Dan Liew
2017-10-03
[CMake] Fix initialisation order of `KLEE_COMPONENT_*` and
Dan Liew
2017-07-31
Fix build for FreeBSD.
Tatiana Tikhomirova
2017-07-28
[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set
Dan Liew
2017-07-28
[CMake] Add `ENABLE_ZLIB` option to control whether KLEE uses
Dan Liew
2017-07-28
[CMake] Refactor Z3 detection and change the default value of
Dan Liew
2017-07-28
[CMake] Refactor STP detection and change the default value of
Dan Liew
2017-07-25
[CMake] Emit warning when mixing assert and non assert builds.
Dan Liew
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 vers...
Hoang M. Le
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
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 we
Dan 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 was
Dan Liew
2016-12-09
[CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC`
Dan Liew
2016-12-01
Merge pull request #523 from delcypher/remove_klee_tag_output
Cristian Cadar
2016-11-30
Remove support for reporting the approximate git tag.
Dan Liew
2016-11-30
Increasing version to 1.3.0
Cristian 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 checking
Dan 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-07
Implement a CMake based build system for KLEE.
Dan Liew