Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S264701AbTE1MOz (ORCPT ); Wed, 28 May 2003 08:14:55 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S264703AbTE1MOz (ORCPT ); Wed, 28 May 2003 08:14:55 -0400 Received: from web41510.mail.yahoo.com ([66.218.93.93]:32338 "HELO web41510.mail.yahoo.com") by vger.kernel.org with SMTP id S264701AbTE1MOx (ORCPT ); Wed, 28 May 2003 08:14:53 -0400 Message-ID: <20030528122809.16175.qmail@web41510.mail.yahoo.com> Date: Wed, 28 May 2003 05:28:09 -0700 (PDT) From: Carl Spalletta Subject: Re: inventing the wheel? To: Carl-Daniel Hailfinger Cc: linux-kernel@vger.kernel.org In-Reply-To: <3ED3E224.1000402@gmx.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 732 Lines: 19 --- Carl-Daniel Hailfinger wrote: > It seems everybody is busy trying Linus' sparse I don't get any sensible output out of the test clients provided by Linus for sparse - that is I don't see how to construct the syntax treee from the output. > Now we only need one additional tool to *prove* correctness > -an automatic race finder > Liberal use of these tools should result in the most stable kernel ever. For a fact, you do have a point.;-( - 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/