[csmith-dev] GitHub Repository for Csmith

[Eric Eide <eeide@cs.utah.edu>]

The Csmith development team is very pleased to announce that Csmith has moved
to GitHub!

We hope this move will promote our existing collaborations and also facilitate
new opportunities and community contributions.  "Let a thousand forks bloom."

The Csmith GitHub pages are here: https://github.com/csmith-project/csmith

Clone the repository: git://github.com/csmith-project/csmith.git

Report an issue: https://github.com/csmith-project/csmith/issues

Finally, be aware that the Csmith developers are somewhat but not entirely new
to git and GitHub.  There may be some rough spots as we learn the ropes.  We
welcome you to track our progress :-).

Thanks ---

John, Eric, Xuejun, and Yang
csmith-dev@flux.utah.edu