John On 9/18/14, 9:31 PM, Yang Chen wrote:
Looks good to me. Thanks for working on this! - Yang 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. John