]>
andersk Git - splint.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
drl7x [Mon, 25 Sep 2000 23:15:51 +0000 (23:15 +0000)]
Saving version preented on 092200
drl7x [Fri, 22 Sep 2000 09:14:07 +0000 (09:14 +0000)]
Most of the constraint resolving works.
can do g[0] = '2'; g++; g[0] = 'g'; I think...
drl7x [Thu, 14 Sep 2000 05:46:50 +0000 (05:46 +0000)]
Periodic commit
drl7x [Thu, 3 Aug 2000 14:55:06 +0000 (14:55 +0000)]
*** empty log message ***
drl7x [Wed, 2 Aug 2000 21:34:05 +0000 (21:34 +0000)]
Put files created for constraint handling in the repository.
drl7x [Wed, 2 Aug 2000 21:30:14 +0000 (21:30 +0000)]
Took 2 temp files out of the repository.
drl7x [Wed, 2 Aug 2000 21:10:44 +0000 (21:10 +0000)]
Fixed stupid bug in constraintList causing a segfault.
Added files for new tests to the repository.
drl7x [Wed, 2 Aug 2000 20:19:48 +0000 (20:19 +0000)]
Finshed basic merge. Still trying to get it through the test suit.
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.
drl7x [Thu, 22 Jun 2000 06:56:37 +0000 (06:56 +0000)]
Added in test case files. (Merge should be complete now.)
drl7x [Wed, 21 Jun 2000 19:00:22 +0000 (19:00 +0000)]
Put Nullterminated Tests in the repository.
drl7x [Wed, 21 Jun 2000 18:54:59 +0000 (18:54 +0000)]
Commiting Merge of changes made in semester and ver 2.5M
drl7x [Tue, 13 Jun 2000 02:39:09 +0000 (02:39 +0000)]
Initial revision
This page took 0.0486 seconds and 4 git commands to generate.