Added array analysis (computes paths used to add elements/tuples to sets/relations.
authorbdemsky <bdemsky>
Tue, 27 Apr 2004 21:06:40 +0000 (21:06 +0000)
committerbdemsky <bdemsky>
Tue, 27 Apr 2004 21:06:40 +0000 (21:06 +0000)
commit803278c8eed228616a37dc70d17b391d7e220625
treef8db38b35542ef84b180cb58830ccf19f01dc3c9
parent04f85f882f97b329b34d2a898454af2c6382ab0f
Added array analysis (computes paths used to add elements/tuples to sets/relations.

Added a bug fix to the graphanalysis routine (must consider nodes not involved in cycles also for removal).
Repair/RepairCompiler/MCC/IR/ArrayAnalysis.java [new file with mode: 0755]
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
Repair/RepairCompiler/MCC/IR/Sources.java
Repair/RepairCompiler/MCC/IR/Termination.java
Repair/RepairCompiler/MCC/test2.constraints
Repair/RepairCompiler/MCC/test2.model
Repair/RepairCompiler/MCC/test2.space