| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2020-09-30 | Reduce compile time and size for LLVM build | Martin Nowack | |
| * Just target x86 as architecture * do not build tests for clang * use optimized tablegen * only build required tools and libraries that are needed by KLEE | |||
| 2020-09-30 | Reduce the size of the libcxx image | Martin Nowack | |
| * re-use an existing LLVM directory if possible * only export the bitcode files | |||
| 2020-09-30 | Remove explicit dependency on llvm and sanitizer | Martin Nowack | |
| Clang is just a compiler and can be provided by system-specific packages. | |||
| 2020-09-30 | Fix detection of installed clang | Martin Nowack | |
| Any clang is fine as long as it is the right version. The current assumption is that it is suffixed with version. | |||
| 2020-09-30 | Do not use `-lubsan` and `-fuse-ld=gold` for UBSan linking | Martin Nowack | |
| These arguments are not required and let the link process fail. Instead, clang(++) should be used as a linker and it will take care of linking with the correct libraries. | |||
| 2020-09-30 | Delete Docker instance after system detection ran | Martin Nowack | |
| Don't keep the docker instance for detecting the system around to avoid stale terminated containers. | |||
| 2020-09-30 | Replace travis container build script with python-based version | Martin Nowack | |
| 2020-09-05 | Fix codecov upload | Martin Nowack | |
| Argument `-y` has been removed from the upload script. https://github.com/codecov/codecov-bash/commit/c2f935a0dd0590d20296e95a759782e32b311b34 But `.codecov.yml` is now supported | |||
| 2020-06-26 | Switch to a more recent version of SQLite in the CI | Cristian Cadar | |
| 2020-03-31 | Don't search for CryptoMiniSAT when configuring STP | Cristian Cadar | |
| 2020-02-24 | fix p-llvm.inc: invocation for monorepo directory layout | Julian Büning | |
| 2020-02-13 | Update Docker image template for KLEE. | Martin Nowack | |
| * Port changes from .Dockerfile to this * install emacs-nox and vim-nox instead of pulling all X dependencies * Clean apt cache | |||
| 2020-02-13 | Use system's boost when building metasmt and user newer boolector version | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |