On 26 Jan 2010, mail_ben_schm...@yahoo.com.au wrote:

> Excellent! Does this mean it might be a smarter idea to be using the
> CVS code of splint than the release? How stable is the CVS code?

You tell me ;-) I think that you can have both co-exist on a system.
I am interested in regressions of the HEAD versus the previous
release.

-- 
Little girls, like butterflies need no excuses.  - Robert Heinlein
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss

Reply via email to