Made flag work for checking only...Added support for modify relation updates.
authorbdemsky <bdemsky>
Tue, 6 Apr 2004 02:48:30 +0000 (02:48 +0000)
committerbdemsky <bdemsky>
Tue, 6 Apr 2004 02:48:30 +0000 (02:48 +0000)
commitcdd4513e39de359245e55af313d8bdea2167a253
tree027569a10b6863f22993a00f78b5fb5ac4c85200
parent37d19ee4dc354fe93198385bf6d0b5796252c5c5
Made flag work for checking only...Added support for modify relation updates.
Repair/RepairCompiler/MCC/Compiler.java
Repair/RepairCompiler/MCC/IR/RepairGenerator.java
Repair/RepairCompiler/MCC/IR/Termination.java
Repair/RepairCompiler/MCC/IR/UpdateNode.java
Repair/RepairCompiler/MCC/Makefile
Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
Repair/RepairCompiler/MCC/Runtime/SimpleHash.h