]>
Commit | Line | Data |
---|---|---|
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 | 11 | Splint Documentation |
885824d3 | 12 | ==================== |
13 | ||
155af98d | 14 | Installation instructions are found with this distribution in |
15 | install.html (or at http://www.splint.org/source.html). | |
15b3d2b2 | 16 | |
155af98d | 17 | For documentation on Splint, please see http://www.splint.org |
15b3d2b2 | 18 |