projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ddc61c) | patch
make sure change sets ignore predicates hanging off reach states and alter reach...
authorjjenista <jjenista>
Fri, 19 Mar 2010 21:28:39 +0000 (21:28 +0000)
committerjjenista <jjenista>
Fri, 19 Mar 2010 21:28:39 +0000 (21:28 +0000)
commit282eafd47fce761f4a82a754ba49ccd84ece95ae
tree15651f3d1fec37cf1ea493b96ff00e9fb22f9ee4tree | snapshot
parent0ddc61c243785e40b5b8cb9000244e7b52608513commit | diff
make sure change sets ignore predicates hanging off reach states and alter reach set intersection to ignore predicates, and have a preference of taking preds from the first reach set argument so client algorithms can indicate preference
Robust/src/Analysis/Disjoint/Canonical.java diff | blob | history
Robust/src/Analysis/Disjoint/ChangeTuple.java diff | blob | history
Robust/src/Analysis/Disjoint/ExistPredSet.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Irvine Research Compiler