[klee-dev] KLEE on GitHub

[Cristian Cadar]

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