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

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

author	dlaroche <dlaroche>
	Mon, 25 Jun 2001 18:28:53 +0000 (18:28 +0000)
committer	dlaroche <dlaroche>
	Mon, 25 Jun 2001 18:28:53 +0000 (18:28 +0000)
commit	920a3797c23377bfb7332b0c11bda1d708cabb72
tree	962934bfccc0b9d111527eb3b3fc767bfc34ffc1	tree
parent	a028d0b73b4e3922e5cc1893dfd771991dab55df	commit \| diff

Fixed library dump support so that buffer constraint annotations are read and written to the dump files.

32 files changed:

lib/Makefile		diff \| blob \| blame \| history
lib/ansi.h		diff \| blob \| blame \| history
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/unix.lcd		diff \| blob \| blame \| history
lib/unixstrict.lcd		diff \| blob \| blame \| history
src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintExpr.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/herald.h		diff \| blob \| blame \| history
src/Headers/herald.last		diff \| blob \| blame \| history
src/Headers/uentry.h		diff \| blob \| blame \| history
src/Headers/usymtab.h		diff \| blob \| blame \| history
src/Makefile		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/exprData.i	[deleted file]	blob \| blame \| history
src/forjunk.c		diff \| blob \| blame \| history
src/lclint.lcd		diff \| blob \| blame \| history
src/uentry.c		diff \| blob \| blame \| history
src/usymtab.c		diff \| blob \| blame \| history
test/db1.out		diff \| blob \| blame \| history
test/null6.lcd		diff \| blob \| blame \| history
test/tests2.5/newlint.lcd		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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