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

[Emil Rakadjiev]

The new website looks cool! Great work, Petr!

I added a page with LLVM 3.4-based install instructions and did a few 
other minor modifications. I created a pull request on GitHub.

Best regards,
Emil


On 10/16/2014 12:09 AM, Oscar Soria Dustmann wrote:
> 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
>>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
> .
>