On Tue, Mar 15, 2016 at 11:36:17PM +0100, Luc Van Oostenryck wrote: > On Mon, Feb 01, 2016 at 03:28:38AM +0100, Nicolai Stange wrote: > > Here comes the greatly enhanced v3 of this series. > > > > > I had a few remarks and some questions in some of the patches > but I think it's turning pretty good. > > I'm wondering if you have already tried to use it on something of > interesting size like the kernel? If yes, did it gave something useful? > > > Chris, I have reviewed this rather deeply. I think the approach is sound > and sane et the code seems quite correct. Do you think you will have > some time soon to look at it? > Chris, is it possible to have some feedback on this, please? Is there anything more I can do to help? Best regards, Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
