Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2002-07-08 | Propagate splint-3.0.1.7 close(2) internalState annotation throughout. | jbj | 1 | -2/+2 | |
CVS patchset: 5542 CVS date: 2002/07/08 14:21:26 | |||||
2002-07-02 | Add boundsread annotations throughout, enable +bounds checking. | jbj | 1 | -0/+2 | |
Start narrowing the scope of bounds annotations by adding more annotations. CVS patchset: 5537 CVS date: 2002/07/02 23:54:35 | |||||
2002-06-23 | Add boundswrite annotations everywhere. | jbj | 1 | -0/+6 | |
CVS patchset: 5522 CVS date: 2002/06/23 19:47:08 | |||||
2002-04-10 | - beecrypt: add types.h, eliminate need for config.gnu.h. | jbj | 1 | -12/+2 | |
CVS patchset: 5386 CVS date: 2002/04/10 20:00:40 | |||||
2001-09-23 | More lclint annotations, now at the strict level with a complete program. | jbj | 1 | -2/+2 | |
CVS patchset: 5069 CVS date: 2001/09/23 12:09:48 | |||||
2001-09-20 | Doxygen fiddles. | jbj | 1 | -4/+6 | |
CVS patchset: 5065 CVS date: 2001/09/20 20:16:11 | |||||
2001-09-19 | Add autogen.sh et al to build from CVS. | jbj | 1 | -70/+51 | |
First pass at lclint annotations. CVS patchset: 5062 CVS date: 2001/09/19 16:16:15 | |||||
2001-09-18 | Initial revision | jbj | 1 | -0/+146 | |
CVS patchset: 5051 CVS date: 2001/09/18 19:23:46 |