| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-17 | Update build scripts | Martin Nowack | |
| * Support for Ubuntu 22.04 * Remove support for Python2 * Better separation between sanitizer builds and non-sanitizer builds * Fix build of metaSMT on newer Ubuntu versions * Use ninja to build LLVM * Simplifying building arbitrary LLVM configurations, e.g. different LLVM sanitizer builds (MemSan, UBSan, ASan) * Use MemSan with origin tracking * Build sqlite3 container correctly * Add support to provide sqlite3 version number | |||
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-03-30 | Add support to `sudo` if necessary | Martin Nowack | |
| Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure. | |||
| 2020-11-20 | p-klee.inc: libc++abi only needed for c++ exception support | Julian Büning | |
| 2020-10-12 | Exception handling only for LLVM >= 8.0.0 | Julian Büning | |
| 2020-10-12 | fix building klee-cxxabi | Julian Büning | |
| Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de> | |||
| 2020-10-12 | Add doxygen support in docker image | jiseongg | |
| CMake Warning at docs/CMakeLists.txt:46 (message): Doxygen not found. Can't build Doxygen documentation | |||
| 2020-10-12 | Remove unused cmake arguments when building docker | jiseongg | |
| CMake Warning: Manually-specified variables were not used by the project: LLVM_DIR | |||
| 2020-09-30 | Add check if KLEE is installed | Martin Nowack | |
| 2019-09-09 | fix minor build script issues and inconsistencies | Julian Büning | |
| mostly following shellcheck | |||
| 2019-07-30 | Provide klee runtime build type as parameter | Martin Nowack | |
| Allow to build klee runtime with different build parameters using the build script. | |||
| 2019-04-04 | Add MSan support for sqlite | Timotej Kapus | |
| 2019-03-17 | Add libc++ as build dependency to KLEE | Martin Nowack | |
| 2019-03-10 | Updated dependency build system for KLEE | Martin Nowack | |
| Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |