andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

author	evans1629 <evans1629>
	Tue, 10 Jun 2003 05:58:24 +0000 (05:58 +0000)
committer	evans1629 <evans1629>
	Tue, 10 Jun 2003 05:58:24 +0000 (05:58 +0000)
commit	6317f163d6dd13ef058d98c91a6f9eb29a9f87f4
tree	450150e64b335b50f3e8f21863d3afdc1b19047a	tree
parent	ae13359213220016611ceaf93109dac6849be88b	commit \| diff

Made allocations involving sizeof work correctly (test/malloc.c).
Fixed implicit constraints for functions.

39 files changed:

src/Headers/clabstract.h		diff \| blob \| blame \| history
src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintExprData.h		diff \| blob \| blame \| history
src/Headers/constraintList.h		diff \| blob \| blame \| history
src/Headers/context.h		diff \| blob \| blame \| history
src/Headers/functionClauseList.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/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/constraintList.c		diff \| blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history
src/context.c		diff \| blob \| blame \| history
src/ctbase.i		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.def		diff \| blob \| blame \| history
src/functionClauseList.c		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/compdestroy.expect		diff \| blob \| blame \| history
test/constannot.expect		diff \| blob \| blame \| history
test/decl.expect		diff \| blob \| blame \| history
test/for.expect		diff \| blob \| blame \| history
test/malloc.c	[new file with mode: 0644]	blob
test/malloc.expect	[new file with mode: 0644]	blob
test/manual.expect		diff \| blob \| blame \| history
test/maxset.expect		diff \| blob \| blame \| history
test/moreBufferTests.expect		diff \| blob \| blame \| history
test/moreBufferTests2.expect		diff \| blob \| blame \| history
test/simplebufferConstraintTests.expect		diff \| blob \| blame \| history
test/sizeoftest.expect		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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