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
181	Add derivative support to frontend	accepted	derivative, frontend	zirkel	task	major
183	Verify derivative example using manual insertion of Taylor theorem	new	accuracy, derivative	zirkel	enhancement	major
202	installation from source	new			task	major
211	don't check for deadlocked states when not necessary	new			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
275	modify arrays in examples to use new #define input feature	new	examples arrays extent	bperry	defect	major
278	array literal parse problems in TreeParser	new	array literal		defect	major
294	Implement XML representation of TASS AST	accepted	XML AST	stachnik	task	major
295	augment continuity options	new	continuity	zirkel	enhancement	major
297	expressions are not statements	assigned	expression statement	stachnik	defect	major
313	reimplement state as value	new	state value	Stephen Siegel	enhancement	major
326	Add source information to pragma nodes and variable declarations	new		tmcclory	defect	major
328	Generate Human-Readable Description of XML Schema	new		stachnik	task	major
330	Add structs to XML output	new		tmcclory	defect	major
331	Finish AST Module Implementation	new		stachnik	task	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
332	VariableReferenceNode names aren't getting set	new		stachnik	defect	minor