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