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
