andersk / splint.git / history
| 2003-07-18 |  evans1629 | Fixed problem with shadow parameters. | blob | commitdiff | raw |
| 2002-07-08 | evans1629 | - library fixes: | blob | commitdiff | raw | diff to current |
| 2002-01-09 |  drl7x | *** empty log message *** | blob | commitdiff | raw | diff to current |
| 2002-01-08 | evans1629 | Fixed up for win32 building (winconfig.h required) | blob | commitdiff | raw | diff to current |
| 2002-01-02 | evans1629 | Fixed state clauses. Added obvious loop exec checking. | blob | commitdiff | raw | diff to current |
| 2001-12-29 | evans1629 | Renaming - LCLint => Splint | blob | commitdiff | raw | diff to current |
| 2001-10-14 | evans1629 | Fixed test suite (temporarily) to run nested test cases | blob | commitdiff | raw | diff to current |
| 2001-07-12 |  evans | *** empty log message *** | blob | commitdiff | raw | diff to current |
| 2001-07-03 |  dlaroche | Added some new test cases also merged with Dave Evans... | blob | commitdiff | raw | diff to current |
| 2000-06-13 | drl7x | Initial revision | blob | commitdiff | raw | diff to current |