projects / repair.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bcbac1) | patch
Added support to printout data structure update nodes (bindings/updates)
authorbdemsky <bdemsky>
Thu, 5 Feb 2004 07:18:20 +0000 (07:18 +0000)
committerbdemsky <bdemsky>
Thu, 5 Feb 2004 07:18:20 +0000 (07:18 +0000)
commit1786f2e81855da1faf744ee28f40e53628aff9f2
tree2653aa02a8b06c4ad8d5df9ddcf162993fcf9c8atree | snapshot
parent9bcbac11e044182472d004a1873e2175ef0bea49commit | diff
Added support to printout data structure update nodes (bindings/updates)
Added support to simplify updates/determine if they are self consistent
Added support to sequence updates
Improved precision of data structure update analysis
18 files changed:
Repair/RepairCompiler/MCC/IR/Binding.java diff | blob | history
Repair/RepairCompiler/MCC/IR/CastExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java diff | blob | history
Repair/RepairCompiler/MCC/IR/DotExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/ElementOfExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Expr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/GraphNode.java diff | blob | history
Repair/RepairCompiler/MCC/IR/ImageSetExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/IntegerLiteralExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/MultUpdateNode.java diff | blob | history
Repair/RepairCompiler/MCC/IR/OpExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/RelationExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/SizeofExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Termination.java diff | blob | history
Repair/RepairCompiler/MCC/IR/TupleOfExpr.java diff | blob | history
Repair/RepairCompiler/MCC/IR/UpdateNode.java diff | blob | history
Repair/RepairCompiler/MCC/IR/Updates.java diff | blob | history
Repair/RepairCompiler/MCC/IR/VarExpr.java diff | blob | history
Data structure repair