Sorry to have taken so long to reply. I signed up for the Digest form and between that and my work schedule (work always seems to get in the way of fun things) time got away.
Jeff Johnson, I would very much like to get my hands on your SQLITE3 annotated H file. If at all possible I would also like to get the original H file as well. With the original I can diff it against the new version and then push the relevant changes into your annotated file. I am not aware of a file upload mechanism here, so I would ask that you email them to me at s...@fll-freak.com. Bill Pringlemeir, If I get the work done to a reasonable level I would be happy to send the results to you to include in a future release. As for other annotated headers that Jeff referred to, perhaps an addition to the SPLINT website that would serve as a repository for 3rd party work might be in order. Perhaps as a wiki? -- -Skye Sweeney
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
