andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

If checking mostly works. Boolean expression are handled.
Need to add > or < support. Committing to have a good back up.

23 files changed:

src/Headers/cgrammar_tokens.h		diff \| blob \| blame \| history
src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintList.h		diff \| blob \| blame \| history
src/Headers/constraintTerm.h		diff \| blob \| blame \| history
src/Headers/forwardTypes.h		diff \| blob \| blame \| history
src/Headers/lltok.h		diff \| blob \| blame \| history
src/Headers/uentry.h		diff \| blob \| blame \| history
src/cgrammar.tab.c		diff \| blob \| blame \| history
src/cgrammar.tab.h		diff \| blob \| blame \| history
src/cgrammar.y		diff \| blob \| blame \| history
src/clabstract.c		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintList.bak.c	[deleted file]	blob \| blame \| history
src/constraintList.c		diff \| blob \| blame \| history
src/constraintListold.c	[deleted file]	blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history
src/constraintTerm.c		diff \| blob \| blame \| history
src/cscanner.l		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/lex.yy.c		diff \| blob \| blame \| history
src/sRef.c		diff \| blob \| blame \| history
src/uentry.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

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