]> andersk Git - splint.git/log
splint.git
23 years agoAdded the code for setBufferSize and setStringLegnth annotations. assertSizeandLengthAnnotations
drl7x [Tue, 4 Jul 2000 00:29:50 +0000 (00:29 +0000)] 
Added the code for setBufferSize and setStringLegnth annotations.
Committing to prepare fro second merge with Evans's code.

23 years agoAdded in test case files. (Merge should be complete now.) NullTermVer1
drl7x [Thu, 22 Jun 2000 06:56:37 +0000 (06:56 +0000)] 
Added in test case files.  (Merge should be complete now.)

23 years agoPut Nullterminated Tests in the repository.
drl7x [Wed, 21 Jun 2000 19:00:22 +0000 (19:00 +0000)] 
Put Nullterminated Tests in the repository.

23 years agoCommiting Merge of changes made in semester and ver 2.5M
drl7x [Wed, 21 Jun 2000 18:54:59 +0000 (18:54 +0000)] 
Commiting Merge of changes made in semester and ver 2.5M

23 years agoInitial revision
drl7x [Tue, 13 Jun 2000 02:39:09 +0000 (02:39 +0000)] 
Initial revision

This page took 0.066209 seconds and 4 git commands to generate.