]> andersk Git - splint.git/blame - README
Committing to update configuration scripts.
[splint.git] / README
CommitLineData
146e25eb 1 Splint - annotation-assisted static program checker
2 http://www.splint.org
3
f0c4f4d3 4 Copyright (C) 1994-2003
146e25eb 5 University of Virginia,
6 Massachusetts Institute of Technology
7
6c50dc92 8 Version 3.1.0
9 12 April 2003
2a6e9c30 10
146e25eb 11Splint Documentation
885824d3 12====================
13
155af98d 14Installation instructions are found with this distribution in
15install.html (or at http://www.splint.org/source.html).
15b3d2b2 16
155af98d 17For documentation on Splint, please see http://www.splint.org
15b3d2b2 18
This page took 0.09679 seconds and 5 git commands to generate.