about summary refs log tree commit diff homepage
path: root/Dockerfile
AgeCommit message (Collapse)Author
2015-04-10Update DockerfileDavid Leon Gil
klee-stats requires tabulate to be installed.
2015-04-09Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4).Dan Liew
This is is tightly coupled with the TravisCI scripts. There are some really nasty hacks in here that we should get rid of at some point.