| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2015-06-16 | added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ↵ | Timotej Kapus | |
| set when COVERAGE is, added the python server script to scripts | |||
| 2015-03-12 | Add klee-clang as alternative to klee-gcc | Martin Nowack | |
| 2014-09-15 | Generate fake files for test cases | Martin Nowack | |
| 2013-12-08 | Add chroot jail support in klee-replay. | Lei Zhang | |
| 2009-07-26 | Tweak objdump script, kcachegrind has gotten stricter about its parsing. | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77168 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-07-26 | Ok, I caved. klee-gcc is useful, at least for now. | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77136 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-05 | Moved PrintStats.py to tool/klee-stats/ | Cristian Cadar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72964 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar | |
| - Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |