andersk Git - splint.git/commit - src/constraintGeneration.c

]> andersk Git - splint.git/commit - src/constraintGeneration.c

Most of the constraint resolving works.
can do g[0] = '2'; g++; g[0] = 'g'; I think...

17 files changed:

src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintList.h		diff \| blob \| blame \| history
src/Headers/constraintTerm.h	[new file with mode: 0644]	blob
src/Headers/exprNode.h		diff \| blob \| blame \| history
src/Headers/herald.h		diff \| blob \| blame \| history
src/Headers/herald.last		diff \| blob \| blame \| history
src/Headers/usymtab.h		diff \| blob \| blame \| history
src/Makefile.sources		diff \| blob \| blame \| history
src/cgrammar.tab.c		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintList.c		diff \| blob \| blame \| history
src/constraintList2.c	[new file with mode: 0644]	blob
src/constraintListold.c	[new file with mode: 0644]	blob
src/constraintResolve.c	[new file with mode: 0644]	blob
src/constraintTerm.c	[new file with mode: 0644]	blob
src/exprNode.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

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