id	Summary	Owner	Type	Priority	Milestone	Component
95	improvements to symbolic package	ywei	enhancement	major		symbolic
102	add concrete versions of primitive and array values	Stephen Siegel	enhancement	major		value
153	implement XML representation of model	bperry	task	major		front
206	Formal grammar for assertion and joint invariant language	bperry	task	major	Release 1.0	XML
208	Separate pragma parsing out of language parser and put it into model builder	bperry	enhancement	major	Release 1.0	front
210	Try to build solaris version of CVC3, etc.	zirkel	task	major		None
217	Add constants to model	zirkel	enhancement	major		model
286	Allow expressions with side effects		enhancement	major		front
287	Support compound statements		enhancement	major		front
289	Allow function prototypes		enhancement	major		front
290	Add support for preprocessor function-like macros		enhancement	major		front
309	Relax main method signature requirements		task	major		model
101	create BooleanValueIF	Stephen Siegel	enhancement	minor		value
105	Add support for new statements: pushassumption, popassumption		enhancement	minor		multiple
127	Improve symbolic variable names	ywei	enhancement	minor		symbolic
178	Number of bound variables in a symbolic quantifier expression	Stephen Siegel	enhancement	minor		symbolic