]>
2002-01-03 | Changed checking of complete descruction so +strictdest... | blob | commitdiff | raw | |
2002-01-02 | Fixed state clauses. Added obvious loop exec checking. | blob | commitdiff | raw | diff to current | |
2001-12-31 | Changed grammer to allow multiple /*@fallthrough@*... | blob | commitdiff | raw | diff to current | |
2001-12-29 | Renaming - LCLint => Splint | blob | commitdiff | raw | diff to current | |
2001-11-30 | *** empty log message *** | blob | commitdiff | raw | diff to current | |
2000-06-21 | Commiting Merge of changes made in semester and ver 2.5M | blob | commitdiff | raw | diff to current | |
2000-06-13 | Initial revision | blob | commitdiff | raw | diff to current | |