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

Re: [creduce-dev] multifile creduce

On 2015-10-20 14:00, John Regehr wrote:

Got it, thanks.  But I think Johan indicated that we should take
Moritz's patch instead!  That patch has the advantage of not modifying
the C-Reduce core at all.
Yes, I am working on that. I will commit code later today, which combines Moritz's patch with Johan's code. 

- Yang