On Wed, Jul 22, 2009 at 10:21 AM, Kamil Dudka<kdudka@xxxxxxxxxx> wrote: > Sorry for my ignorance, I've never heard about the Linus filter. Could you > please point me to some relevant info? For now we only want to play with > separation logic and use it for static analysis of code as part of our > research at FIT BUT. Of course you haven't heard of it. I just make it up myself. A Linus filter is a program that take bad C code as input and output good C code as if it is written by Linus himself. We just need to hook it to LKML. Chris -- 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
