andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

author	evans1629 <evans1629>
	Sun, 6 Jan 2002 08:14:14 +0000 (08:14 +0000)
committer	evans1629 <evans1629>
	Sun, 6 Jan 2002 08:14:14 +0000 (08:14 +0000)
commit	bb7c2085a0088f4a6b3fb68dcd0ce331f67e9a2d
tree	11c234c09f9578753235aba41059c307a7b8cb27	tree
parent	982cc10b478eb048460a85910953ce6083456bab	commit \| diff

Cleaned up flags to generate manual help.

Renamed arraybounds and arrayboundsread to boundswrite and boundsread

Replaced +control flag with duplicatecases, alwaysexits, emptyreturn and
macroreturn (all plain, default +)

Split

55 files changed:

lib/ansi.lcd		diff \| blob \| blame \| history
lib/ansistrict.lcd		diff \| blob \| blame \| history
lib/posix.lcd		diff \| blob \| blame \| history
lib/posixstrict.lcd		diff \| blob \| blame \| history
lib/stdio.h		diff \| blob \| blame \| history
lib/unix.lcd		diff \| blob \| blame \| history
lib/unixstrict.lcd		diff \| blob \| blame \| history
src/Headers/constraintList.h		diff \| blob \| blame \| history
src/Headers/flags.h		diff \| blob \| blame \| history
src/Headers/functionClause.h		diff \| blob \| blame \| history
src/Headers/mtgrammar_tokens.h		diff \| blob \| blame \| history
src/Headers/sRef.h		diff \| blob \| blame \| history
src/Headers/uentry.h		diff \| blob \| blame \| history
src/Makefile.am		diff \| blob \| blame \| history
src/Makefile.in		diff \| blob \| blame \| history
src/bison.head		diff \| blob \| blame \| history
src/bison.reset		diff \| blob \| blame \| history
src/cgrammar.c.der		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintExpr.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/cpphash.c		diff \| blob \| blame \| history
src/ctype.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/exprNode.c		diff \| blob \| blame \| history
src/flags.c		diff \| blob \| blame \| history
src/flags.def		diff \| blob \| blame \| history
src/functionClause.c		diff \| blob \| blame \| history
src/globalsClause.c		diff \| blob \| blame \| history
src/idDecl.c		diff \| blob \| blame \| history
src/lclint.lcd		diff \| blob \| blame \| history
src/llgrammar.c.der		diff \| blob \| blame \| history
src/loopHeuristics.c		diff \| blob \| blame \| history
src/mtgrammar.c		diff \| blob \| blame \| history
src/mtgrammar.c.der		diff \| blob \| blame \| history
src/scanline.c		diff \| blob \| blame \| history
src/signature.c.der		diff \| blob \| blame \| history
src/uentry.c		diff \| blob \| blame \| history
test/Makefile.am		diff \| blob \| blame \| history
test/Makefile.in		diff \| blob \| blame \| history
test/db1.expect		diff \| blob \| blame \| history
test/db3.expect		diff \| blob \| blame \| history
test/for/Makefile		diff \| blob \| blame \| history
test/globalbufferannotation/Makefile		diff \| blob \| blame \| history
test/help.expect		diff \| blob \| blame \| history
test/manual/Makefile		diff \| blob \| blame \| history
test/maxset/Makefile		diff \| blob \| blame \| history
test/moreBufferTests/Makefile		diff \| blob \| blame \| history
test/moreBufferTests2/Makefile		diff \| blob \| blame \| history
test/simplebufferConstraintTests/Makefile		diff \| blob \| blame \| history
test/strchr/Makefile		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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