id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
18	examples	Stephen Siegel	zirkel	"All of the examples need to be brought up to date so that they work with the current version of MiniMP.

Also, each example should include at least one bounded version.  See what I did for arrayloop: the unbounded versions are called arrayloopSpec.mmp and arrayloopImpl.mmp; I added a bounded version arrayloopSpec_2.mmp and arrayloopImpl_2.mmp.  The only difference between the bounded and unbounded versions is that I put a bound on N in the bounded versions.  (Actually, the unbounded version in this case still needs to be updated to be correct.)"	task	closed	major		examples	1.0	fixed	examples