andersk / splint.git / history
| 2003-04-22 |  evans1629 | Fixes after removing -unrecogcomments flag for make... | blob | commitdiff | raw |
| 2003-04-14 | evans1629 | Fixed all /*@i...@*/ tags (except 1). | blob | commitdiff | raw | diff to current |
| 2003-03-02 |  drl7x | Updated the copyright on source code files. | blob | commitdiff | raw | diff to current |
| 2003-02-28 | drl7x | Code passes splintme with no errors. | blob | commitdiff | raw | diff to current |
| 2002-12-12 | evans1629 | Cleaned up code problems reported by make splintme. | blob | commitdiff | raw | diff to current |
| 2002-01-05 | evans1629 | Renamed truenull nullwhentrue and falsenull falsewhennull | blob | commitdiff | raw | diff to current |
| 2001-07-03 |  dlaroche | Merged code tree with Dave Evans's version. Many chang... | blob | commitdiff | raw | diff to current |