]>
2003-02-28 | Got rid of [look into this ] messages in null.expect... | blob | commitdiff | raw | |
2002-12-18 | Improved tracking of state change locations. Added... | blob | commitdiff | raw | diff to current | |
2002-01-02 | Fixed state clauses. Added obvious loop exec checking. | blob | commitdiff | raw | diff to current | |
2001-12-29 | Renaming - LCLint => Splint | blob | commitdiff | raw | diff to current | |
2001-07-03 | Added some new test cases also merged with Dave Evans... | blob | commitdiff | raw | diff to current | |
2000-06-13 | Initial revision | blob | commitdiff | raw | diff to current | |