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

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

andersk / splint.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e83c79e) | patch

author	drl7x <drl7x>
	Wed, 8 Aug 2001 18:32:12 +0000 (18:32 +0000)
committer	drl7x <drl7x>
	Wed, 8 Aug 2001 18:32:12 +0000 (18:32 +0000)
commit	a779b61ede06125b00b12afe408f1ef829720862
tree	3064ebb7a61f10cca9f4c224db35d7414ed6ced7	tree
parent	e83c79ec6440c133a3ece107f1e1dd9cf27aff7c	commit \| diff

Made cosmetic improves to messages.

And added an abort if messages become too deep.

16 files changed:

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/herald.h		diff \| blob \| blame \| history
src/Headers/local_constants.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/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/flags.def		diff \| blob \| blame \| history
src/general.c		diff \| blob \| blame \| history
src/lclint.lcd		diff \| blob \| blame \| history

git-cvsimport mirror of splint

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