Re: [ANNOUNCE] The Janitor Project

2001-03-27 Thread Arnaldo Carvalho de Melo
Em Tue, Mar 27, 2001 at 10:43:21AM +0200, Werner Almesberger escreveu: > Arnaldo Carvalho de Melo wrote: > > http://bazar.conectiva.com.br/~acme/TODO > > BTW, I don't know if you're already interacting, but it seems to me that > there are a lot of things on your list that look as if the MC projec

Re: [ANNOUNCE] The Janitor Project

2001-03-27 Thread Werner Almesberger
Arnaldo Carvalho de Melo wrote: > http://bazar.conectiva.com.br/~acme/TODO BTW, I don't know if you're already interacting, but it seems to me that there are a lot of things on your list that look as if the MC project at Stanford ("CHECKER") could provide automated tests for them. - Werner --

[ANNOUNCE] The Janitor Project

2001-03-23 Thread Arnaldo Carvalho de Melo
Hi, The Kernel Janitor's Project grew out of our search for things to help in the development of the Linux kernel, and learning from other patches submitted by more experienced people, we saw that some of these patches indicated error patterns that could exist in other parts of the kernel, we loo