id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
17	implement verify.loop	Stephen Siegel	ywei	The transition system for verifying unbounded loops has to be implemented, as described in our paper.   I started it (barely).	task	closed	major		verify	1.0	fixed	loops