about summary refs log tree commit diff homepage
path: root/CMakeLists.txt
AgeCommit message (Expand)Author
2024-02-29Set version number to 3.1Cristian Cadar
2024-02-08Add support for newer `libc++`; Simplify path detectionMartin Nowack
2024-01-12new: persistent ptree (-write-ptree) and klee-ptreeFrank Busse
2023-06-07Changed version to 3.1-preCristian Cadar
2023-06-07Set version number to 3.0Cristian Cadar
2023-06-05CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULLJulian Büning
2023-06-05config.h: include FSTATAT_PATH_ACCEPTS_NULLJulian Büning
2023-06-05CMake: use built-in FindSQLite3 moduleJulian Büning
2023-06-05CMake: remove obsolete commentsJulian Büning
2023-06-05CMake: remove obsolete KLEE_COMPONENT_EXTRA_LIBRARIESJulian Büning
2023-06-05CMake: remove unused TARGET_LIBS variableJulian Büning
2023-03-30fix CMake: -UNDEBUGJulian Büning
2023-03-22Change `llvm_map_components_to_libnames` to `llvm_config` CMake functionMartin Nowack
2023-03-22use C++17Julian Büning
2023-03-22Require minimal version of CMake 3.16 for KLEEMartin Nowack
2023-03-22Explicitly check if 32bit support is enabled for testingMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2022-06-30remove LLVM < 9Frank Busse
2022-04-28Make Uclibc support a runtime option, not a compile-time one.Gleb Popov
2022-04-25use mallinfo2 if availableFrank Busse
2022-04-04Set version number to 3.0-preCristian Cadar
2022-04-04Setting version to 2.3Cristian Cadar
2022-03-22Require cmake 3.9+Cristian Cadar
2021-12-19cmake: copy klee-uclibc and klee-libcxx to expected locationsLukas Zaoral
2021-03-05Add cmake custom target `uninstall`jiseongg
2021-03-04cmake: Fix warning about implicit type conversionLukas Zaoral
2021-02-16renaming 'libcxx' -> 'libc++'Julian Büning
2020-12-18retire some build system legacyJulian Büning
2020-12-07Advancing version to 2.3-preCristian Cadar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 22:32:58 +0000