| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-28 | Compare LLVM_VERSION_SHORT to "140" rather than "14". | Michael Herstine | |
| In commit 2b07721, support was added to p-libcxx.inc & p-llvm.inc for LLVM versions 14+ (in which, apparently, certain build flags were changed). To detect these recent versions, the variable LLVM_VERSION_SHORT was compared numerically to "14"-- the intent obviously being to express "LLVM version 14 or later". However, in both v-clang.inc & v-llvm.inc, LLVM_VERSION_SHORT is defined as the concatenation of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR. Therefore, on a machine with, say, LLVM 13.0 installed, LLVM_VERSION_SHORT will be "130" which compares as larger than "14". This patch changes the comparison to be against "140". | |||
| 2024-02-16 | drop llvm 9 and 10 | Daniel Schemmel | |
| 2024-02-08 | Add support for newer `libc++`; Simplify path detection | Martin Nowack | |
| `libc++` include headers are now split between platform dependent and platform independent code. Before, only include files for the platform independent code were considered. Add support to automatically find platform dependent includes as well. Simplify the detection of libraries and paths. Instead of pointing to the `v1` directory, pointing to the include directory for `-DKLEE_LIBCXX_INCLUDE_PATH` is enough. Update build script to support this as well. | |||
| 2024-02-08 | MERGE libc++ build system | Martin Nowack | |
| 2024-02-08 | Add support to build newer LLVM versions | Martin Nowack | |
| `-DLLVM_ENABLE_PROJECTS` does not include runtimes anymore, instead a `-DLLVM_ENABLE_RUNTIMES` should be used in addition | |||
| 2024-01-12 | Renamed PTree to ExecutionTree (and similar) | Cristian Cadar | |
| 2023-03-23 | Fix detection and installation of Ubuntu-provided llvm/clang packages | Martin Nowack | |
| 2023-03-17 | Fix script to build all the containers we require for GitHub actions | Martin Nowack | |
| 2023-03-17 | Add support to disable memsan instrumentation; update UB/Asan suppression | Martin Nowack | |
| 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 | |||
| 2023-03-15 | Do not escape "@". This triggers an error now in the CI. | Cristian Cadar | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-29 | forward ci environment variables used to exercise metasmt backends into the ↵ | Daniel Schemmel | |
| docker container | |||
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-03-30 | Refactor cmake installation into own component | Martin Nowack | |
| 2022-03-30 | Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions | Martin Nowack | |
| 2022-03-30 | Build libcxx in parallel if possible | Martin Nowack | |
| 2022-03-30 | Use newer sqlite version using the build script | Martin Nowack | |
| 2022-03-30 | Minor clean-up | Martin Nowack | |
| 2022-03-30 | Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler | Martin Nowack | |
| All three can be different but also provided by the same package. By separating the different use-cases, it allows to set them independently. | |||
| 2022-03-30 | Kitware's cmake is not available for non-LTS Ubuntu versions | Martin Nowack | |
| Don't try to install it for non-LTS Ubuntu versions | |||
| 2022-03-30 | Avoid installing Python 2 | Martin Nowack | |
| 2022-03-30 | Remove support for old Ubuntu | Martin Nowack | |
| 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. | |||
| 2022-03-22 | Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵ | Cristian Cadar | |
| ENABLE_DOXYGEN=ON | |||
| 2022-03-17 | remove LLVM < 6 from build/test scripts | Frank Busse | |
| 2022-03-09 | CI: add `-fno-sanitize-recover=undefined` to UBSAN flags | Lukáš Zaoral | |
| By default, UBSAN does not fail when it reports an error. Thus, the UBSAN CI was green even though there were some errors reported. | |||
| 2022-03-09 | CI: drop `-fsanitize=integer` from UBSAN flags | Lukáš Zaoral | |
| When combined with `-fsanitize=undefined`, this flag only enables extra checks for unsigned integer overflow and (possibly bug-prone) implicit conversions between integer types. It was generating way too much noise (both for KLEE and its dependencies) and the reported problems do not lead to an undefined behaviour according to the C++ standard. | |||
| 2022-03-09 | build: fix missing target for grep | Frank Busse | |
| 2021-09-15 | Install git as a requirement for codecov | Martin Nowack | |
| Codecov depends on git to detect the SHA sum of the repository. Install as a dependency. | |||
| 2021-09-10 | CI: Use the latest release of CMake | Lukas Zaoral | |
| 2021-04-18 | tests: Do not add klee tools to PATH in lit | Lukas Zaoral | |
| It may happen that some older instance of klee is already present in PATH. All tests that call plain klee instead of %klee may use it and then unexpectedly fail. This commit will make all tests that rely on klee tools being explicitly in PATH fail in our CI. From now on, only LLVM tools, FileCheck and not will be in lit's PATH. | |||
| 2020-12-02 | Use Github Actions as default CI | Martin Nowack | |
| 2020-12-02 | Remove artificial timeouts as current timeout for build jobs is 6h. | Martin Nowack | |
| 2020-12-02 | Rename `build-travis-container.py` into `build-ci-container.py` | Martin Nowack | |
| Update container build script to utilize Github Actions job description instead of Travis CI's. | |||
| 2020-12-02 | Add Github Actions for KLEE CI based @jordr | Martin Nowack | |
| Add support for Github Actions to use as new CI. This builds all the components as the original Travis CI script. | |||
| 2020-12-02 | Handle LLVM version selection more robust | Martin Nowack | |
| 2020-12-02 | Use non-interactive input | Martin Nowack | |
| 2020-11-20 | p-klee.inc: libc++abi only needed for c++ exception support | Julian Büning | |
| 2020-11-04 | [build] Add multilib package to build 32bit on ubuntu | Martin Nowack | |
| 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 | |
| 2020-09-30 | Remove shebang from include | Martin Nowack | |
| 2020-09-30 | Fix LLVM 4.0 build patch | Martin Nowack | |
| 2020-09-30 | Fix docker ID handling for sqlite | Martin Nowack | |
| 2020-09-30 | Fix check if sqlite is installed under ubuntu as a systems package | Martin Nowack | |
| 2020-09-30 | Fix check if LLVM is installed | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |