[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] C-Vise project introduction
John Regehr <regehr@cs.utah.edu> writes:
> Hi Martin, this looks great. [...]
> (This reply is just from me-- perhaps Eric and Yang will want to chime in
> separately.)
I agree with John's message --- this looks great.
--
-------------------------------------------------------------------------------
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