All you splint users, go get the new download.
http://splint.org/download.html
Rock on, splinters!
Begin forwarded message:
From: David Evans <[EMAIL PROTECTED]>
Date: July 13, 2007 5:50:24 PM CDT
To: [EMAIL PROTECTED]
Cc: [EMAIL PROTECTED]
Subject: Re: [splint-discuss] Releasing 3.1.2
Hi Andy,
I've updated the source code distribution to 3.1.2 (which is posted
now on splint.org), to incorporate the latest CVS version (with a
few more minor fixes). The CVS code and source code distribution
are now the same.
Thanks for the prodding, I should have done this a long time ago...
--- Dave
Andy Lester wrote:
What would it take to get the CVS version of Splint released as
3.1.2? It fixes a number of bugs that I've run into as we use it
on the Parrot project (http://parrotcode.org/). I'm using the CVS
version from my own build, but I'd like the others on the project
to not have to build their own.
Thanks,
xoxo,
Andy
--
Andy Lester => [EMAIL PROTECTED] => www.petdance.com => AIM:petdance
_______________________________________________
splint-discuss mailing list
[EMAIL PROTECTED]
http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss
--
Andy Lester => [EMAIL PROTECTED] => www.petdance.com => AIM:petdance
