Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Propagate splint-3.0.1.7 close(2) internalState annotation throughout. | jbj | 2002-07-08 | 1 | -0/+8 |
* | Add boundsread annotations throughout, enable +bounds checking. | jbj | 2002-07-02 | 1 | -0/+12 |
* | Add boundswrite annotations everywhere. | jbj | 2002-06-23 | 1 | -0/+4 |
* | Make check and splint clean. | jbj | 2002-06-15 | 1 | -1/+2 |
* | First crack at merging beecrypt-2.3.0 changes. | jbj | 2002-06-14 | 1 | -2/+4 |
* | - beecrypt: add types.h, eliminate need for config.gnu.h. | jbj | 2002-04-10 | 1 | -15/+2 |
* | Factor -type problems into explicit code annotations. | jbj | 2001-10-16 | 1 | -0/+10 |
* | More lclint annotations. | jbj | 2001-10-16 | 1 | -0/+2 |
* | lclint fiddles to annotate globals. | jbj | 2001-10-15 | 1 | -5/+18 |
* | Resolve conflicts. | jbj | 2001-10-08 | 1 | -0/+5 |
* | More lclint fiddles. | jbj | 2001-09-23 | 1 | -8/+20 |
* | More lclint annotations, now at the strict level with a complete program. | jbj | 2001-09-23 | 1 | -13/+65 |
* | lclint fiddles. | jbj | 2001-09-19 | 1 | -43/+490 |
* | Initial revision | jbj | 2001-09-18 | 1 | -0/+319 |