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 <[email protected]> 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
