| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2020-02-13 | Do not wait if SANITIZER_BUILD is empty | Martin Nowack | |
| 2020-02-13 | Add llvm as build dependency of clang in case no system packages are available | Martin Nowack | |
| 2020-02-13 | Add patch support for libcxx | Martin Nowack | |
| Building older LLVM/libcxx versions under Ubuntu 18.04 requirer patches | |||
| 2020-02-13 | Use git repository to build LLVM | Martin Nowack | |
| LLVM changed from svn to github. Use the github mirror to have faster build times. Patches were updated to follow the new structure. Patches also support building underr Ubuntu 18.04 | |||
| 2020-02-13 | Update ubuntu build dependencies for KLEE | Martin Nowack | |
| Build dependencies for different components were tied to a specific Ubuntu version (16.04). Although, they are the same for newer versions as well. By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well. Do some minor cleaning up. | |||
| 2020-01-28 | update | comet | |
| 2020-01-17 | Update objdump script to support python3 | Martin Nowack | |
| 2020-01-08 | Link python3 on macOS | Cristian Cadar | |
| 2019-11-26 | remove python2 from osx CI | Felix Rath | |
| Python 2 should not be needed anymore, so we remove it from osx CI. | |||
| 2019-10-29 | Travis: double timeout for MetaSMT tests | Frank Busse | |
| 2019-10-16 | Add missing file utility in docker image | Martin Nowack | |
| 2019-09-09 | fix minor build script issues and inconsistencies | Julian Büning | |
| mostly following shellcheck | |||
| 2019-09-05 | build: additional patches for LLVM 3.8-5.0 | Julian Büning | |
| 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-08 | Use newer versions of solver components used by MetaSMT | Martin Nowack | |
| Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined | |||
| 2019-04-08 | Propagate correct version of metasmt to build script | Martin Nowack | |
| 2019-04-08 | Add LD_LIBRARY_PATH to docker image | Gerben Oolbekkink | |
| Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked with kleeRuntest are run. The STP line is changed to extend the library path instead of replace it, I am not sure if it can be removed at this moment. | |||
| 2019-04-05 | Add missing dependency for tabulate package | Martin Nowack | |
| 2019-04-05 | Remove CC as requirement; automatically set by sanitizer_compiler | Martin Nowack | |
| Update build sqlite script | |||
| 2019-04-04 | Fix SQLite OSX | Timotej Kapus | |
| 2019-04-04 | Add MSan support for sqlite | Timotej Kapus | |
| 2019-04-04 | add tabulate to OSX build | Frank Busse | |
| 2019-04-04 | some minor refactorings | Frank Busse | |
| 2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
| Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-17 | Fix `true` invocation in case docker image could not be pushed | Martin Nowack | |
| 2019-03-17 | Add libc++ as build dependency to KLEE | Martin Nowack | |
| 2019-03-17 | Add support for libc++ as part of the build.sh scripts | Martin Nowack | |
| 2019-03-17 | Generalise clang package detection for linux and mac osx | Martin Nowack | |
| 2019-03-12 | Add integer sanitizer to UBSan | 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. | |||
| 2019-03-05 | remove klee-clang, use wllvm/gllvm instead | Frank Busse | |
| 2018-12-19 | Travis OSX: install Python 3.x | Frank Busse | |
| 2018-11-11 | Use LLVM 4 for Mac Build | Martin Nowack | |
| 2018-10-07 | Workaround for flaky coverage | Martin Nowack | |
| Merge unittest coverage results and system tests coverage results into one coverage report. | |||
| 2018-09-27 | Revert lit to 0.6.0 version, as 0.7.0 misbehaves | Cristian Cadar | |
| 2018-09-06 | llvm36.patch: fix build for newer glibc/gcc versions | Frank Busse | |
| 2018-08-12 | llvm.sh: fix patch source paths | Frank Busse | |
| 2018-07-12 | Fix uploading of coverage information from inside of docker | Martin Nowack | |
| 2018-07-11 | Add missing curl | Martin Nowack | |
| 2018-07-11 | Fix slow Mac Travis build: wildcard is not expanded with quotes | Martin Nowack | |
| 2018-07-04 | Extensive updates to the build script for dependencies and docker | Martin Nowack | |
| Building/managing dependencies of KLEE are not easy. This script should change this. Features: * script install different versions in their specific directories This allows: - to have different versions in parallel installed: llvm, solvers - to have different optimization levels installed (Debug, no-debug, assertions, optimized) - to have different versions of instrumentation enabled (address, memory, leakage, undefined behavior) * the script is kept distribution agnostic: assuming basic packages are installed (a compiler), use `scripts/build/ubuntu-dependencies.sh` to install ubuntu specific ones * the script does not install any file into system directories (sudo is not required) files are only installed into a user specified BASE directory The same scripts are used for either local setup (`scripts/build/local_install.sh`) or create a docker image based of your current source folder (`scripts/build/build_docker.sh`) Change the defaults permanently by modifying (`scripts/build/common-defaults.sh`) or change them on the fly by providing them as environment variables on the command line. The same scripts are also used for TravisCI, so we test what we are using. | |||
| 2018-05-18 | Delete coverageServer.py | Timotej Kapus | |
| Delete the old coverage gathering code. Unneccessary with move to codecov. | |||
| 2017-07-24 | more portable shebangs | Jörg Thalheim | |
| This is useful on systems like NixOS, where python3 is not in /usr/bin/python3 as well as for people using alternative ways to install python such as virtualenv/pyenv. Some scripts where already using '/usr/bin/env'. With this pull request it gets more consistent. For background information see also: https://github.com/systemd/systemd/pull/5816 | |||
| 2017-07-23 | Remove klee-gcc | Martin Nowack | |
| 2016-02-23 | Added missing copyright headers per klee/issue #301 | Marko Dimjašević | |
| 2015-12-04 | Fixing klee-clang to strip all flags not understood by llvm-link | Mate Soos | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |