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

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

Added support for or constraints.

21 files changed:

src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintExpr.h		diff \| blob \| blame \| history
src/Headers/constraintOutput.h	[new file with mode: 0644]	blob
src/Headers/constraintResolve.h		diff \| blob \| blame \| history
src/Headers/flag_codes.gen	[deleted file]	blob \| blame \| history
src/Headers/herald.h		diff \| blob \| blame \| history
src/Headers/herald.last		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/constraintResolve.c		diff \| blob \| blame \| history
src/constraintTerm.c		diff \| blob \| blame \| history
src/context.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/exprDataQuite.i		diff \| blob \| blame \| history
src/flags.def		diff \| blob \| blame \| history
src/llerror.c		diff \| blob \| blame \| history
test/db1.out		diff \| blob \| blame \| history
test/help.out		diff \| blob \| blame \| history
test/maxset/maxsetannotations.c		diff \| blob \| blame \| history
test/maxset/maxsetnoannotations.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

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