id	Summary	Type	Priority	Milestone	Component	Version
275	modify arrays in examples to use new #define input feature	defect	major	1.1	examples	1.1
49	add primitive MPI-like communication operations to model	enhancement	major		model	1.0
313	reimplement state as value	enhancement	major	milestone2	multiple	
328	Generate Human-Readable Description of XML Schema	task	major		XML	
331	Finish AST Module Implementation	task	major		ast	
332	VariableReferenceNode names aren't getting set	defect	minor		ast	
326	Add source information to pragma nodes and variable declarations	defect	major	1.1	clang	
330	Add structs to XML output	defect	major	1.1	clang	1.1
183	Verify derivative example using manual insertion of Taylor theorem	enhancement	major	Release 1.0	examples	1.0
274	add support for skew factors in collective assertions/invariants	task	major	1.1	multiple	1.1
295	augment continuity options	enhancement	major	1.1	multiple	1.1
202	installation from source	task	major	Release 1.0	Administration	1.0
211	don't check for deadlocked states when not necessary	enhancement	major	Release 1.0	verify	1.0
278	array literal parse problems in TreeParser	defect	major	1.1	front	1.1
88	compile set of CVC3 problems we want solved	task	minor		Administration	
232	checkSat	enhancement	minor	Release 1.0	multiple	1.0
269	move newCollectiveAssertion to ModelFactory	enhancement	minor	1.1	model	1.1