projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 352cc29) | patch
start of a revised disjoint reachability analysis
authorjjenista <jjenista>
Wed, 2 Dec 2009 23:14:44 +0000 (23:14 +0000)
committerjjenista <jjenista>
Wed, 2 Dec 2009 23:14:44 +0000 (23:14 +0000)
commit5f5b1508b74d989403b3708dd4d51aed991e0006
treeabcbbc6e0f80ef6403468d0415f439c32d30d7b4tree | snapshot
parent352cc2934411b1487102da2e895b01fe1dcc678acommit | diff
start of a revised disjoint reachability analysis
19 files changed:
Robust/src/Analysis/Disjoint/AllocSite.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/Canonical.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/CanonicalWrapper.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/ChangeSet.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/ChangeTuple.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/DisjointAnalysis.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/HeapRegionNode.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/ReachGraph.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/ReachSet.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/ReachState.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/ReachTuple.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/RefEdge.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/RefSrcNode.java [new file with mode: 0644] blob
Robust/src/Analysis/Disjoint/VariableNode.java [new file with mode: 0644] blob
Robust/src/IR/State.java diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Robust/src/Makefile diff | blob | history
Robust/src/Tests/disjoint/simple/makefile [new file with mode: 0644] blob
Robust/src/Tests/disjoint/simple/test.java [new file with mode: 0644] blob
Irvine Research Compiler