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

[Oscar Soria Dustmann]

Uh, nice work, Petr!

Who came up with the new logo? :)

Btw. if you like to, you can refer people who don't want to set up KLEE
themselves to the docker images I created a month ago:
https://registry.hub.docker.com/u/oscarsd/klee-dev/
https://registry.hub.docker.com/u/oscarsd/klee-release/
They have the entire environment, not just the compiled
binaries/libraries (and differ in configuration options).

But again, great job with the new site :)

On 15/10/14 16:58, Daniel Liew wrote:
> 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
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>