Hi all,
Following some discussions with Daniel and other people, I have moved
the KLEE codebase to GitHub. Many thanks to Dominic Chen for his help
with the migration process.
I hope this move will make it easier for people to contribute to the
codebase, review other people's patches, discuss new features, etc.
The new location for KLEE's codebase is https://github.com/ccadar/klee.
(The webpage remains the same, http://klee.llvm.org/)
We will use a fork&pull model in KLEE, based on pull requests. For
those of you unfamiliar with the process, you can find more information
at https://help.github.com/articles/using-pull-requests.
Let me know if you have any comments or questions.
Best,
Cristian
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
