]>
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 | ||
2a6e9c30 | 8 | Version 3.0.1.7 |
9 | 31 March 2003 | |
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 |