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! -- ------------------------------------------------------------------------------- Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX