]>
andersk Git - splint.git/blame_incremental - README
... / ...
| Commit | Line | Data |
|---|
| | 1 | Splint - annotation-assisted static program checker |
| | 2 | http://www.splint.org |
| | 3 | |
| | 4 | Copyright (C) 1994-2007 |
| | 5 | University of Virginia, |
| | 6 | Massachusetts Institute of Technology |
| | 7 | |
| | 8 | Version 3.1.2 |
| | 9 | 12 July 2007 |
| | 10 | |
| | 11 | Splint Documentation |
| | 12 | ==================== |
| | 13 | |
| | 14 | Installation instructions are found with this distribution in |
| | 15 | install.html (or at http://www.splint.org/source.html). |
| | 16 | |
| | 17 | For documentation on Splint, please see http://www.splint.org |
| | 18 | |
This page took 0.175004 seconds and 5 git commands to generate.
andersk / splint.git / blame_incremental