Programming Languages Research Group: Git

author	jjenista <jjenista>
	Wed, 9 Jul 2008 21:07:04 +0000 (21:07 +0000)
committer	jjenista <jjenista>
	Wed, 9 Jul 2008 21:07:04 +0000 (21:07 +0000)
commit	89c65d2fff0fa66d3f51f0110d5f6128f00ba9ca
tree	3e6b4cc4fb0dab5ea43bc2b0c298929ef870e089	tree \| snapshot
parent	1fcd81450a20cad7c2e2d24d0225dc2034e30824	commit \| diff

Added reachability classes, all of which are extensions of Canonical such that
after makeCanonical() two equivalent reachability classes are actually the same
class. This was the bug that kept the orginial analysis tests from terminating
and now they run fine.

14 files changed:

Robust/src/Analysis/OwnershipAnalysis/Canonical.java	[new file with mode: 0644]	blob
Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java		diff \| blob \| history
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java		diff \| blob \| history
Robust/src/Makefile		diff \| blob \| history
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile		diff \| blob \| history
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java		diff \| blob \| history
Robust/src/Tests/OwnershipAnalysisTest/testTokens/Main.java		diff \| blob \| history

Irvine Research Compiler

RSS Atom