modified:   proj3/assignment.loopInv.output
	modified:   proj3/exit.loopInv.output
	modified:   proj3/inner.loopInv.output
	modified:   proj3/lib/p3/flags.h
	modified:   proj3/lib/p3/loopInv.cpp
	modified:   proj3/merge.loopInv.output
	modified:   proj3/mergeLoops.loopInv.output
	modified:   proj3/noHead.loopInv.output
	deleted:    proj3/Makefile-test
	deleted:    proj3/assignment
	deleted:    proj3/assignment.c
	deleted:    proj3/assignment.loopInv.output
	deleted:    proj3/assignment.printCode.output
	deleted:    proj3/exit
	deleted:    proj3/exit.c
	deleted:    proj3/exit.loopInv.output
	deleted:    proj3/exit.printCode.output
	deleted:    proj3/foo
	deleted:    proj3/foo.c
	deleted:    proj3/foo.loopInv.output
	deleted:    proj3/foo.opt
	deleted:    proj3/foo.printCode.output
	deleted:    proj3/inner.c
	deleted:    proj3/inner.loopInv.output
	deleted:    proj3/inner.printCode.output
	deleted:    proj3/irreducible.c
	deleted:    proj3/irreducible.loopInv.output
	deleted:    proj3/merge.c
	deleted:    proj3/merge.loopInv.output
	deleted:    proj3/merge.printCode.output
	deleted:    proj3/mergeLoops.c
	deleted:    proj3/mergeLoops.loopInv.output
	deleted:    proj3/noHead.c
	deleted:    proj3/noHead.loopInv.output
	deleted:    proj3/noHead.printCode.output
	deleted:    proj3/temp