Programming Languages Research Group: Git

author	jjenista <jjenista>
	Tue, 9 Mar 2010 01:05:31 +0000 (01:05 +0000)
committer	jjenista <jjenista>
	Tue, 9 Mar 2010 01:05:31 +0000 (01:05 +0000)
commit	cc80c71130e4c0c0d82acbad0928ca2b295657ce
tree	2e2a871a739338075a94e08f41f7d0bfd88da350	tree \| snapshot
parent	bd3688e0c9c8b9b5fddd7c4affa0cd31d5ce5547	commit \| diff

callee elements brought into caller get predicates from caller element that satisfied them, properly, also bug fix for edges from nodes that aren't satisifed from throwing a null pointer exception

Irvine Research Compiler

RSS Atom

Robust/src/Analysis/Disjoint/ExistPred.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/ExistPredSet.java		diff \| blob \| history
Robust/src/Analysis/Disjoint/ReachGraph.java		diff \| blob \| history
Robust/src/Tests/disjoint/predicateTest2/makefile		diff \| blob \| history
Robust/src/Tests/disjoint/predicateTest2/test.java		diff \| blob \| history