andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

author	drl7x <drl7x>
	Mon, 7 Apr 2003 01:09:32 +0000 (01:09 +0000)
committer	drl7x <drl7x>
	Mon, 7 Apr 2003 01:09:32 +0000 (01:09 +0000)
commit	8fd556fb32e6886724d72e99270d429554f28ea6
tree	9ce22cc7e5bd57bd200fb6f2da03fdd370748d2c	tree
parent	028230a4017e67c2de99d101f97b7c2e1f21e2a8	commit \| diff

Removed /*bee:...*/ comments.

These comments contained important about place where the splintme detected potential bounds errors within Splint.

They were removed because this information was not particularly useful and it made the code harder to read.

doc/realloc.doc	[deleted file]	blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history
src/cppexp.c		diff \| blob \| blame \| history
src/cstring.c		diff \| blob \| blame \| history
src/cstringTable.c		diff \| blob \| blame \| history
src/ctype.c		diff \| blob \| blame \| history
src/enumNameList.c		diff \| blob \| blame \| history
src/filelocStack.c		diff \| blob \| blame \| history
src/flags.c		diff \| blob \| blame \| history
src/macrocache.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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