[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] llvm-svn-compatible merged
Looks good to me. Thanks for working on this!
On 09/18/2014 09:19 AM, John Regehr wrote:
Only a couple of little changes were needed to make C-Reduce
llvm-svn-compatible work with LLVM 3.5. I've pushed these and also
merged this branch into the master and deleted it. Eric and Yang, you
should look over my changes. So far the master is only lightly tested
but I have some reductions running now that will stress it a bit.