John,
Thanks for the offer, but ABCD is not ready for prime-time at this state. It
still doesn't pass large swaths of the nightly testsuite.
--Owen
On Nov 18, 2009, at 10:23 AM, John Regehr wrote:
> Is the ABCD pass ready for stress testing? If so, we can do some of this.
>
> I guess it would be ready for stress testing if:
>
> - it already works fairly well for moderate-sized inputs
>
> - someone is willing to act on bug reports
>
> Thanks,
>
> John Regehr
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev