Filename ▼	Summary + Labels ▼	Uploaded ▼	ReleaseDate ▼	Size ▼	DownloadCount ▼	...
	thesis-benchmarks.zip	Benchmarks for Eric Bodden's doctoral thesis	Sep 2009		80.2 MB	35
	clara-1.0.0-emptyext.zip	Empty Extension to Clara (as a template for new typestate analyses)   Featured	Sep 2009		14.2 KB	124
	clara-1.0.0-complete.jar	Clara 1.0.0 binary JAR - used to run Clara   Featured	Sep 2009		16.3 MB	105