Yes, please do it. John On 12/29/2014 07:00 PM, Eric Eide wrote:
It's been a while since we've made a version-numbered Csmith release, and so I think that I will do this in the next few days --- before 2015 arrives!