Log Message:
Update splint to 3.1.1.
The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6
release.  Among other improvements, the accuracy of the bounds checking code
has improved; Splint can produce output in html or comma separated value(CSV)
format; and support for numabstract types has been added. Additionally the
code contains numerous bugs fixes and house keeping updates.
(Details at http://www.splint.org/changes.html )
No list of changes available for the 3.1.1 release.