andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

author	evans1629 <evans1629>
	Wed, 18 Dec 2002 01:05:57 +0000 (01:05 +0000)
committer	evans1629 <evans1629>
	Wed, 18 Dec 2002 01:05:57 +0000 (01:05 +0000)
commit	16c024b587f5ddc115928d5cca7095508aa208d9
tree	d7f99222a55ee360d55488f233ea4b087661743f	tree
parent	e5081f8c08424e4511d50a3b1fc187666c95852c	commit \| diff

Improved tracking of state change locations. Added +showdeephistory
flag to display all available information about state changes. Added
+locindentspaces to control indentation of sub-messages (to allow emacs
error jumping).

Separated cscanner.l code into cscannerHelp.c to distinguish it from
flex-generated code.

71 files changed:

src/.splintrc		diff \| blob \| blame \| history
src/Headers/cgrammar.h		diff \| blob \| blame \| history
src/Headers/constants.h		diff \| blob \| blame \| history
src/Headers/context.h		diff \| blob \| blame \| history
src/Headers/cscanner.h		diff \| blob \| blame \| history
src/Headers/cscannerHelp.h	[new file with mode: 0644]	blob
src/Headers/flag_codes.h		diff \| blob \| blame \| history
src/Headers/flags.h		diff \| blob \| blame \| history
src/Headers/lltok.h		diff \| blob \| blame \| history
src/Headers/sRef.h		diff \| blob \| blame \| history
src/Headers/stateInfo.h		diff \| blob \| blame \| history
src/Makefile.am		diff \| blob \| blame \| history
src/Makefile.in		diff \| blob \| blame \| history
src/cgrammar.c.der		diff \| blob \| blame \| history
src/cgrammar.y		diff \| blob \| blame \| history
src/clabstract.c		diff \| blob \| blame \| history
src/constraintExpr.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintTerm.c		diff \| blob \| blame \| history
src/context.c		diff \| blob \| blame \| history
src/cscanner.l		diff \| blob \| blame \| history
src/cscannerHelp.c	[new file with mode: 0644]	blob
src/ctbase.i		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/llerror.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/nameChecks.c		diff \| blob \| blame \| history
src/sRef.c		diff \| blob \| blame \| history
src/stateInfo.c		diff \| blob \| blame \| history
src/stateValue.c		diff \| blob \| blame \| history
src/uentry.c		diff \| blob \| blame \| history
src/usymtab.c		diff \| blob \| blame \| history
test/Makefile.am		diff \| blob \| blame \| history
test/Makefile.in		diff \| blob \| blame \| history
test/alias.expect		diff \| blob \| blame \| history
test/arraylit.expect		diff \| blob \| blame \| history
test/cases.expect		diff \| blob \| blame \| history
test/chararraylit.expect		diff \| blob \| blame \| history
test/clauses.expect		diff \| blob \| blame \| history
test/compdestroy.expect		diff \| blob \| blame \| history
test/db1.expect		diff \| blob \| blame \| history
test/db1/Makefile		diff \| blob \| blame \| history
test/db2.expect		diff \| blob \| blame \| history
test/deadparam.expect		diff \| blob \| blame \| history
test/fields.expect		diff \| blob \| blame \| history
test/keep.expect		diff \| blob \| blame \| history
test/linked.expect		diff \| blob \| blame \| history
test/list.expect		diff \| blob \| blame \| history
test/manual.expect		diff \| blob \| blame \| history
test/mystrncat.expect		diff \| blob \| blame \| history
test/null.expect		diff \| blob \| blame \| history
test/numabstract.c		diff \| blob \| blame \| history
test/numabstract.expect		diff \| blob \| blame \| history
test/observer.expect		diff \| blob \| blame \| history
test/outglob.expect		diff \| blob \| blame \| history
test/outparam.expect		diff \| blob \| blame \| history
test/refcounts.expect		diff \| blob \| blame \| history
test/repexpose.expect		diff \| blob \| blame \| history
test/sharing.expect		diff \| blob \| blame \| history
test/stack.expect		diff \| blob \| blame \| history
test/strchr.expect		diff \| blob \| blame \| history
test/strchr/.splintrc		diff \| blob \| blame \| history
test/strchr/strchr.c		diff \| blob \| blame \| history
test/strings.expect		diff \| blob \| blame \| history
test/structassign.expect		diff \| blob \| blame \| history
test/tests2.5.expect		diff \| blob \| blame \| history
test/union.expect		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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