summaryrefslogtreecommitdiff
path: root/beecrypt/blockpad.c
AgeCommit message (Collapse)AuthorFilesLines
2002-07-08Propagate splint-3.0.1.7 close(2) internalState annotation throughout.jbj1-2/+2
CVS patchset: 5542 CVS date: 2002/07/08 14:21:26
2002-07-02Add boundsread annotations throughout, enable +bounds checking.jbj1-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-23Add boundswrite annotations everywhere.jbj1-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.jbj1-12/+2
CVS patchset: 5386 CVS date: 2002/04/10 20:00:40
2001-09-23More lclint annotations, now at the strict level with a complete program.jbj1-2/+2
CVS patchset: 5069 CVS date: 2001/09/23 12:09:48
2001-09-20Doxygen fiddles.jbj1-4/+6
CVS patchset: 5065 CVS date: 2001/09/20 20:16:11
2001-09-19Add autogen.sh et al to build from CVS.jbj1-70/+51
First pass at lclint annotations. CVS patchset: 5062 CVS date: 2001/09/19 16:16:15
2001-09-18Initial revisionjbj1-0/+146
CVS patchset: 5051 CVS date: 2001/09/18 19:23:46