From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id ; Tue, 27 Mar 2001 03:44:35 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id ; Tue, 27 Mar 2001 03:44:25 -0500 Received: from lsb-catv-1-p021.vtxnet.ch ([212.147.5.21]:22035 "EHLO almesberger.net") by vger.kernel.org with ESMTP id ; Tue, 27 Mar 2001 03:44:12 -0500 Date: Tue, 27 Mar 2001 10:43:21 +0200 From: Werner Almesberger To: Arnaldo Carvalho de Melo , linux-kernel@vger.kernel.org Cc: engler@csl.Stanford.EDU Subject: Re: [ANNOUNCE] The Janitor Project Message-ID: <20010327104321.B3974@almesberger.net> In-Reply-To: <20010322215215.A1052@conectiva.com.br> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20010322215215.A1052@conectiva.com.br>; from acme@conectiva.com.br on Thu, Mar 22, 2001 at 09:52:15PM -0300 Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org 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_____________________/