projects / repair.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e6caa1) | patch
Adding code to generate repair algorithms. Its not complete yet...
authorbdemsky <bdemsky>
Thu, 12 Feb 2004 06:53:39 +0000 (06:53 +0000)
committerbdemsky <bdemsky>
Thu, 12 Feb 2004 06:53:39 +0000 (06:53 +0000)
commitcc8dc64af87942be304d8d599dd3779002a2c645
tree5ed5879bf143f2465b3394895452a4f36739b653tree | snapshot
parent6e6caa157ea20e565ea92786ef266c952e6f39b3commit | diff
Adding code to generate repair algorithms.  Its not complete yet...
This checkin sets defaults to repair...
14 files changed:
Repair/RepairCompiler/MCC/Compiler.java diff | blob | history
Repair/RepairCompiler/MCC/IR/DotExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/GraphAnalysis.java diff | blob | history
Repair/RepairCompiler/MCC/IR/GraphNode.java diff | blob | history
Repair/RepairCompiler/MCC/IR/ImplicitSchema.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RelationInclusion.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Repair.java [new file with mode: 0755] blob
Repair/RepairCompiler/MCC/IR/RepairGenerator.java [new file with mode: 0755] blob
Repair/RepairCompiler/MCC/IR/Rule.java diff | blob | history
Repair/RepairCompiler/MCC/IR/SetDescriptor.java diff | blob | history
Repair/RepairCompiler/MCC/IR/SetInclusion.java diff | blob | history
Repair/RepairCompiler/MCC/IR/StructureTypeDescriptor.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Termination.java diff | blob | history
Repair/RepairCompiler/MCC/State.java diff | blob | history
Data structure repair