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
