andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

author	drl7x <drl7x>
	Thu, 5 Jul 2001 21:31:36 +0000 (21:31 +0000)
committer	drl7x <drl7x>
	Thu, 5 Jul 2001 21:31:36 +0000 (21:31 +0000)
commit	2681ee3970a86d505558ee5def1bfcd16c3c397c
tree	d5bdd983a469b41b4e66509a0abd000afd0ccfaf	tree
parent	f0171cff609dadc8363308bb1ac7ae9102f56cae	commit \| diff

Added basic support for switch statements
Also added support the simplifications rules like:
x < y => x - 2 < y
This is useful for resolving constraints.

src/Headers/herald.h		diff \| blob \| blame \| history
src/Headers/herald.last		diff \| blob \| blame \| history
src/Headers/local_constants.h		diff \| blob \| blame \| history
src/Headers/local_constants.last		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

RSS Atom

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