andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

andersk / splint.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 93307a7) | patch

author	drl7x <drl7x>
	Wed, 29 Nov 2000 05:01:50 +0000 (05:01 +0000)
committer	drl7x <drl7x>
	Wed, 29 Nov 2000 05:01:50 +0000 (05:01 +0000)
commit	34f0c5e711b8f61f6376414948f4c116f1c5a22c
tree	24ca305795826233c1fbc71fdf17657dba1fccea	tree
parent	93307a76942c3d0e463af62442eef5a542ebdfb2	commit \| diff

We're now able to generate Maxset constraints for fixed sized arrays.
e.g. int x[3]; produces maxset(x) >= 2;

15 files changed:

src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/herald.h		diff \| blob \| blame \| history
src/Headers/herald.last		diff \| blob \| blame \| history
src/Headers/lltok.h		diff \| blob \| blame \| history
src/Headers/sRef.h		diff \| blob \| blame \| history
src/Makefile.sources		diff \| blob \| blame \| history
src/cgrammar.tab.c		diff \| blob \| blame \| history
src/cgrammar.y		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history
src/ctype.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/lltok.c		diff \| blob \| blame \| history
src/sRef.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

This page took 0.053705 seconds and 5 git commands to generate.