id	Summary	Status	Keywords	Owner	Type	Priority
49	add primitive MPI-like communication operations to model	new	communication, MPI, primitive	Stephen Siegel	enhancement	major
161	Automatic performance analysis	accepted	performance	zirkel	task	major
183	Verify derivative example using manual insertion of Taylor theorem	new	accuracy, derivative	zirkel	enhancement	major
239	store malloc statements in heap	accepted	malloc statement	Stephen Siegel	enhancement	major
274	add support for skew factors in collective assertions/invariants	new	skew collective joint assertion invariant	zirkel	task	major
295	augment continuity options	new	continuity	zirkel	enhancement	major
154	create package-level javadocs	accepted	documentation	Stephen Siegel	task	minor
232	checkSat	new	prover, CVC3, satisfiable		enhancement	minor
269	move newCollectiveAssertion to ModelFactory	new	collective assertion unbalanced		enhancement	minor