[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] C-Vise project introduction

On 4/23/20 12:32 PM, Eric Eide wrote:
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
I agree with John's message --- this looks great.

Seconded. Thanks for sharing it with us, Martin.

- Yang