[klee-dev] New KLEE website

Daniel Liew daniel.liew at imperial.ac.uk
Wed Oct 22 11:49:56 BST 2014


Thanks for your hard work Petr. Looks much better :)

@Cristian. I've updated the redirect in the old KLEE SVN repo to point
to the new web page.

I've created a klee legacy website repository [1] but I can't transfer
it to the KLEE organisation because I don't have admin rights.
@Cristian could you give me the rights temporarily or I can transfer
ownership of the repository to your personal account and then you can
move it to the KLEE organisation. It's up to you.

Once this is done I can remove the gh-pages branch in the main KLEE repository.

[1] https://github.com/delcypher/klee-legacy-website




More information about the klee-dev mailing list