[klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4)

[Daniel Liew]

On 15 October 2014 15:54, Cadar, Cristian <c.cadar at imperial.ac.uk> wrote:
> Thanks, Emil. BTW, if the experimental guide is outdated, the best thing
> would be to modify that webpage directly.  The website lives in the
> gh-pages branch in the repository.

Petr Hosek's new version of the KLEE website just went live
(http://klee.github.io) so it would be better to update
https://github.com/klee/klee.github.io