From mboxrd@z Thu Jan 1 00:00:00 1970 From: Josh Triplett Subject: Re: Sparse and the Google Summer of Code 2008 Date: Wed, 12 Mar 2008 13:01:06 -0700 Message-ID: <47D83682.6070409@kernel.org> References: <47D6CD7F.6010800@kernel.org> <47D734C2.1020903@knosof.co.uk> <47D75C05.4090807@kernel.org> <20080312151937.GA29685@daikokuya.co.uk> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigD666DA13651F23764E569AA9" Return-path: Received: from mail7.sea5.speakeasy.net ([69.17.117.9]:33994 "EHLO mail7.sea5.speakeasy.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754545AbYCLUBq (ORCPT ); Wed, 12 Mar 2008 16:01:46 -0400 In-Reply-To: <20080312151937.GA29685@daikokuya.co.uk> Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Neil Booth Cc: Derek M Jones , linux-sparse@vger.kernel.org This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigD666DA13651F23764E569AA9 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Neil Booth wrote: > Josh Triplett wrote:- >> To clarify, I wouldn't expect a student project to do everything >> necessary to complete any of the areas I mentioned. I wouldn't expect= >> complete handling of contexts, or a complete port of an extensive test= >> suite. >=20 > Of course, the real goal should be not a testsuite port to sparse, > but a testsuite full stop. One that works with trivial tweaks for > any given compiler. That would be of much more value than a > "port" to sparse or anything else. Agreed entirely, and I would happily accept such a project under the Spar= se banner. - Josh Triplett --------------enigD666DA13651F23764E569AA9 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFH2DaNGJuZRtD+evsRAgcDAJ41VO7qgEgRxCoyeILTcWfI7jRAkQCfU1yI 1OWdB6Khu4Xik2rCipNtRmo= =95ZP -----END PGP SIGNATURE----- --------------enigD666DA13651F23764E569AA9--