Improved search....Updated filesystem model. Added -aggressivesearch option.
authorbdemsky <bdemsky>
Mon, 10 May 2004 21:55:09 +0000 (21:55 +0000)
committerbdemsky <bdemsky>
Mon, 10 May 2004 21:55:09 +0000 (21:55 +0000)
commit736802f62200c790c5df3e57bbeaba25ea54c3d4
tree81b7f61fbe04ca6bd61e56e2536a9a1b0892da72
parentf4d787b23a126c58eec51c860f2b3d3bf8de7569
Improved search....Updated filesystem model.  Added -aggressivesearch option.
14 files changed:
Repair/RepairCompiler/MCC/CLI.java
Repair/RepairCompiler/MCC/Compiler.java
Repair/RepairCompiler/MCC/IR/ConstraintDependence.java
Repair/RepairCompiler/MCC/IR/Expr.java
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java
Repair/RepairCompiler/MCC/IR/GraphNode.java
Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
Repair/RepairCompiler/MCC/IR/OpExpr.java
Repair/RepairCompiler/MCC/IR/RelationExpr.java
Repair/RepairCompiler/MCC/IR/SemanticChecker.java
Repair/RepairCompiler/MCC/IR/VarDescriptor.java
Repair/RepairCompiler/MCC/IR/VarExpr.java
Repair/RepairCompiler/MCC/specs/filesystem/test3.constraints
Repair/RepairCompiler/MCC/specs/filesystem/test3.model