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
154	create package-level javadocs	accepted	Stephen Siegel	task	minor	
232	checkSat	new		enhancement	minor	Release 1.0