id	Summary	Status	Owner	Type	Priority	Milestone
239	store malloc statements in heap	accepted	Stephen Siegel	enhancement	major	Release 1.0
274	add support for skew factors in collective assertions/invariants	new	zirkel	task	major	1.1
295	augment continuity options	new	zirkel	enhancement	major	1.1
313	reimplement state as value	new	Stephen Siegel	enhancement	major	milestone2
154	create package-level javadocs	accepted	Stephen Siegel	task	minor	
232	checkSat	new		enhancement	minor	Release 1.0