id	Summary	Status	Owner	Type	Priority	Milestone
49	add primitive MPI-like communication operations to model	new	Stephen Siegel	enhancement	major	
161	Automatic performance analysis	accepted	zirkel	task	major	Release 1.0
181	Add derivative support to frontend	accepted	zirkel	task	major	Release 1.0
183	Verify derivative example using manual insertion of Taylor theorem	new	zirkel	enhancement	major	Release 1.0
202	installation from source	new		task	major	Release 1.0
211	don't check for deadlocked states when not necessary	new		enhancement	major	Release 1.0
239	store malloc statements in heap	accepted	Stephen Siegel	enhancement	major	Release 1.0
274	add support for skew factors in collective assertions/invariants	new	zirkel	task	major	1.1
275	modify arrays in examples to use new #define input feature	new	bperry	defect	major	1.1
278	array literal parse problems in TreeParser	new		defect	major	1.1
294	Implement XML representation of TASS AST	accepted	stachnik	task	major	1.1
295	augment continuity options	new	zirkel	enhancement	major	1.1
297	expressions are not statements	assigned	stachnik	defect	major	1.1
313	reimplement state as value	new	Stephen Siegel	enhancement	major	milestone2
326	Add source information to pragma nodes and variable declarations	new	tmcclory	defect	major	1.1
328	Generate Human-Readable Description of XML Schema	new	stachnik	task	major	
330	Add structs to XML output	new	tmcclory	defect	major	1.1
331	Finish AST Module Implementation	new	stachnik	task	major	
88	compile set of CVC3 problems we want solved	new		task	minor	
154	create package-level javadocs	accepted	Stephen Siegel	task	minor	
232	checkSat	new		enhancement	minor	Release 1.0
269	move newCollectiveAssertion to ModelFactory	new		enhancement	minor	1.1
332	VariableReferenceNode names aren't getting set	new	stachnik	defect	minor