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

[Yang Chen <chenyang@cs.utah.edu>]

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
> > separately.)
> I agree with John's message --- this looks great.
Seconded. Thanks for sharing it with us, Martin.

- Yang