| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-12-19 | Reorganise Dockerfile to have KLEE user own the build directory | Martin Nowack |
| 2018-07-04 | Extensive updates to the build script for dependencies and docker | Martin Nowack |
| 2016-11-07 | Add the Dockerfile to `.dockerignore` so that changes the Dockerfile | Dan Liew |
| 2015-04-09 | Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4). | Dan Liew |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/.dockerignore