andersk / splint.git / history
| 2003-12-08 |  drl7x | Fixed off by one bug involving arrays initialized with... | blob | commitdiff | raw |
| 2002-01-27 | drl7x | Added test case for pproblem with typedefs and fixed... | blob | commitdiff | raw | diff to current |
| 2002-01-06 |  evans1629 | Cleaned up flags to generate manual help. | blob | commitdiff | raw | diff to current |
| 2002-01-03 | evans1629 | Fixed checking for shift expressions. | blob | commitdiff | raw | diff to current |
| 2001-12-29 | evans1629 | Renaming - LCLint => Splint | blob | commitdiff | raw | diff to current |
| 2001-11-28 | drl7x | Added additional tests for buffer overflow detection... | blob | commitdiff | raw | diff to current |