Programming Languages Research Group: Git - repair.git/commit - Repair/RepairCompiler/MCC/IR/Termination.java

projects / repair.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 870b6a6) | patch

author	bdemsky <bdemsky>
	Sun, 9 May 2004 00:47:18 +0000 (00:47 +0000)
committer	bdemsky <bdemsky>
	Sun, 9 May 2004 00:47:18 +0000 (00:47 +0000)
commit	f4d787b23a126c58eec51c860f2b3d3bf8de7569
tree	def6b3e0dced49fc2268682f9d7c70788d921933	tree \| snapshot
parent	870b6a6e5d98b6783ac3d43a5f662f794971e88d	commit \| diff

1) Added useDescriptor method to Expr's.
2) Generalized analysis to determine that an update effecting a rule won't change other bindings of the same rule...

13 files changed:

Repair/RepairCompiler/MCC/IR/CastExpr.java		diff \| blob \| history
Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java		diff \| blob \| history
Repair/RepairCompiler/MCC/IR/ConstraintDependence.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/OpExpr.java		diff \| blob \| history
Repair/RepairCompiler/MCC/IR/RelationExpr.java		diff \| blob \| history
Repair/RepairCompiler/MCC/IR/SetExpr.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/VarExpr.java		diff \| blob \| history

Data structure repair