Hi all,
We have a new location for the KLEE codebase: I have just moved it from
my personal GitHub account to
*** https://github.com/klee/klee.git ***
All other related projects now reside under https://github.com/klee/,
e.g., klee-uclibc and klee-buildbot.
In principle, you don't need to update anything on your side. However,
GitHub advises to change existing local clones to point to the new
repository URL, see
https://help.github.com/articles/how-to-transfer-a-repository#redirects-and-git-remotes
Best wishes,
Cristian
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
