Messages in this thread | | | Date | Tue, 27 Mar 2001 10:43:21 +0200 | From | Werner Almesberger <> | Subject | Re: [ANNOUNCE] The Janitor Project |
| |
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
-- _________________________________________________________________________ / Werner Almesberger, ICA, EPFL, CH Werner.Almesberger@epfl.ch / /_IN_N_032__Tel_+41_21_693_6621__Fax_+41_21_693_6610_____________________/ - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |