projects / repair.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc8dc64) | patch
These checking do the reconstruction of the model and invoke concrete repairs.
authorbdemsky <bdemsky>
Tue, 17 Feb 2004 18:53:08 +0000 (18:53 +0000)
committerbdemsky <bdemsky>
Tue, 17 Feb 2004 18:53:08 +0000 (18:53 +0000)
commitb24eb0d37301ac2bd08abb65eb3e505efeece4e7
treea60798adb46cf51ed5e5ab43c78d85134bb7f82etree | snapshot
parentcc8dc64af87942be304d8d599dd3779002a2c645commit | diff
These checking do the reconstruction of the model and invoke concrete repairs.
14 files changed:
Repair/RepairCompiler/MCC/Compiler.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Descriptor.java diff | blob | history
Repair/RepairCompiler/MCC/IR/ForQuantifier.java diff | blob | history
Repair/RepairCompiler/MCC/IR/ImplicitSchema.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Quantifier.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RelationDescriptor.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RelationInclusion.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RelationQuantifier.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Repair.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RepairGenerator.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/SetQuantifier.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Termination.java diff | blob | history
Data structure repair