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
232	checkSat		enhancement	minor	Release 1.0	multiple