Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2002-06-22 | Factor bounds checking annotations into source code. | jbj | 1 | -0/+2 |
2001-10-17 | Converging on lclint-3.0.17 strict level. | jbj | 1 | -0/+1 |
2001-10-16 | More lclint annotations. | jbj | 1 | -2/+2 |
2001-10-15 | Explicit branchstate annotations. | jbj | 1 | -2/+2 |
2001-10-15 | lclint fiddles to annotate globals. | jbj | 1 | -0/+2 |
2001-09-24 | Move to lclint-3.0.0.15, revisit and clean up annotations. | jbj | 1 | -45/+47 |
2001-09-21 | - lclint-3.0.0.15 fiddles. | jbj | 1 | -26/+30 |
2001-04-30 | - yet more boring lclint annotations and fiddles. | jbj | 1 | -87/+79 |
2001-03-04 | Re-yacc getdate.c. | jbj | 1 | -172/+174 |
2001-03-04 | Swipe from cvs sources. | jbj | 1 | -0/+1598 |