projects / repair.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78ba77e) | patch
Checking in code that:
authorbdemsky <bdemsky>
Wed, 25 Feb 2004 22:38:02 +0000 (22:38 +0000)
committerbdemsky <bdemsky>
Wed, 25 Feb 2004 22:38:02 +0000 (22:38 +0000)
commit9c7a7b2df517d61e4e4e2431c005e152bd45e35c
tree36796b7f15e2b2205c8978fb63aa22a7b91404datree | snapshot
parent78ba77e927e68b02e8530959c7d677d78b0843cfcommit | diff
Checking in code that:
1) performs consistency checks
2) doesn abstract repairs
3) calls/schedules data structure updates
4) partially data structure update code
Repair/RepairCompiler/MCC/IR/MultUpdateNode.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RepairGenerator.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Sources.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Termination.java diff | blob | history
Repair/RepairCompiler/MCC/IR/UpdateNode.java diff | blob | history
Data structure repair