Public Git Hosting - splint-patched.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1821c27) | patch

commit	3c133537b0a5fd363b1ba371ee4e6d8a90a567cf
author	Mihail Groza <unlupdestepa@gmail.com>
	Fri, 9 Dec 2016 21:06:05 +0000 (9 21:06 +0000)
committer	Mihail Groza <unlupdestepa@gmail.com>
	Fri, 9 Dec 2016 21:06:05 +0000 (9 21:06 +0000)
tree	ca5267a7401da17498e357a77e40637768dee8c1	tree \| snapshot (tar.gz zip)
parent	1821c27e62ed2d0492e5c4da82da6652baa940ec	commit \| diff

Switched from manual to automated handling of cgrammar

19 files changed:

src/Headers/cgrammar.h	[deleted file]	blob \| blame \| history
src/Makefile.am		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/constraintExpr.c		diff \| blob \| blame \| history
src/constraintExprData.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| 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/cscannerHelp.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/exprData.c		diff \| blob \| blame \| history
src/exprNode.c		diff \| blob \| blame \| history
src/llmain.c		diff \| blob \| blame \| history
src/lltok.c		diff \| blob \| blame \| history
src/loopHeuristics.c		diff \| blob \| blame \| history
src/stateClause.c		diff \| blob \| blame \| history

Patched version for SPLint (Secure Programming Lint)