On Sun, Nov 13, 2011 at 4:00 PM, John Regehr <regehr@cs.utah.edu> wrote: > Hi Eitan, we already have Csmith in github, so I suspect we'll end up using > their system. Do you know if it's any good? Forgot about that ;) Github's issue tracking isn't bad for smallish projects. -- Eitan Adler