]>
Commit | Line | Data |
---|---|---|
146e25eb | 1 | Splint - annotation-assisted static program checker |
2 | http://www.splint.org | |
3 | ||
4 | Copyright (C) 1994-2002 | |
5 | University of Virginia, | |
6 | Massachusetts Institute of Technology | |
7 | ||
5b8c82a2 | 8 | Version 3.0.1.7 |
9 | 25 March 2001 | |
885824d3 | 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 |