Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2002-07-08 | Propagate splint-3.0.1.7 close(2) internalState annotation throughout. | jbj | 1 | -2/+2 |
2002-07-02 | Add boundsread annotations throughout, enable +bounds checking. | jbj | 1 | -0/+2 |
2002-06-23 | Add boundswrite annotations everywhere. | jbj | 1 | -0/+6 |
2002-04-10 | - beecrypt: add types.h, eliminate need for config.gnu.h. | jbj | 1 | -12/+2 |
2001-09-23 | More lclint annotations, now at the strict level with a complete program. | jbj | 1 | -2/+2 |
2001-09-20 | Doxygen fiddles. | jbj | 1 | -4/+6 |
2001-09-19 | Add autogen.sh et al to build from CVS. | jbj | 1 | -70/+51 |
2001-09-18 | Initial revision | jbj | 1 | -0/+146 |