Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2002-07-08 | Propagate splint-3.0.1.7 close(2) internalState annotation throughout. | jbj | 1 | -1/+2 |
2002-06-14 | Doxygen and splint fiddles. | jbj | 1 | -2/+2 |
2001-10-08 | Resolve conflicts. | jbj | 1 | -4/+4 |
2001-09-23 | More lclint annotations, now at the strict level with a complete program. | jbj | 1 | -4/+4 |
2001-09-20 | Doxygen fiddles. | jbj | 1 | -8/+36 |
2001-09-19 | Add autogen.sh et al to build from CVS. | jbj | 1 | -8/+12 |
2001-09-18 | Initial revision | jbj | 1 | -0/+49 |