]>
andersk Git - splint.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
drl7x [Wed, 29 Nov 2000 05:01:50 +0000 (05:01 +0000)]
We're now able to generate Maxset constraints for fixed sized arrays.
e.g. int x[3]; produces maxset(x) >= 2;
drl7x [Mon, 20 Nov 2000 22:05:53 +0000 (22:05 +0000)]
If checking mostly works. Boolean expression are handled.
Need to add > or < support. Committing to have a good back up.
drl7x [Wed, 1 Nov 2000 20:40:55 +0000 (20:40 +0000)]
Fixed stupid bug in constraintGeneration.c
Should've done it before last version
Also modified cgrammar.y to attempt (so far unsuccesfully) to get function level anotations working.
drl7x [Tue, 31 Oct 2000 05:04:58 +0000 (05:04 +0000)]
pre addition of functino level annotations.
if almost works
drl7x [Fri, 13 Oct 2000 00:28:00 +0000 (00:28 +0000)]
Converted to new API for constraintExpr
g++; g++; is now handled correctly.
drl7x [Tue, 3 Oct 2000 18:06:14 +0000 (18:06 +0000)]
It mostly works but it has a convolted API that needs fixxing.
drl7x [Wed, 27 Sep 2000 21:59:15 +0000 (21:59 +0000)]
*** empty log message ***
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.050816 seconds and 4 git commands to generate.