On 2012.06.13 at 16:07 +0800, John Regehr wrote: > Markus, one thing I was considering is proposing a talk at the fall GCC > summit about this tool. Do you think this would be valuable?
I definitely think this would be great, but I'm not a member of the review committee :). -- Markus
