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

[repair.git] / Repair / RepairCompiler / MCC / IR / AbstractInterferes.java

2006-09-06	bdemsky	small changes	blob \| commitdiff \| raw
2004-11-09	bdemsky	Updates to check in.	blob \| commitdiff \| raw \| diff to current
2004-11-08	bdemsky	Improved termination analysis so that daikon generated...	blob \| commitdiff \| raw \| diff to current
2004-08-16	bdemsky	oops...freeVars can return null.	blob \| commitdiff \| raw \| diff to current
2004-08-15	bdemsky	Improve precision of interference analysis. Allow...	blob \| commitdiff \| raw \| diff to current
2004-08-10	bdemsky	Fixed some analysis problems...	blob \| commitdiff \| raw \| diff to current
2004-08-09	bdemsky	Removing various deprecated pieces of code...Fixed...	blob \| commitdiff \| raw \| diff to current
2004-07-29	bdemsky	Updates to allow repairing backpointers.	blob \| commitdiff \| raw \| diff to current
2004-07-28	bdemsky	Added new file.	blob \| commitdiff \| raw \| diff to current
2004-05-19	bdemsky	Fixed inteferes bug, improved precision of other analys...	blob \| commitdiff \| raw \| diff to current
2004-05-06	bdemsky	1) Checking in filesystem example	blob \| commitdiff \| raw \| diff to current
2004-04-19	bdemsky	Update:	blob \| commitdiff \| raw \| diff to current
2004-04-15	bdemsky	Committing changes to leftsize->rightSize, more comment...	blob \| commitdiff \| raw \| diff to current
2004-03-10	bdemsky	Added:	blob \| commitdiff \| raw \| diff to current
2004-02-06	bdemsky	Checking in code to perform safety checks on repair...	blob \| commitdiff \| raw \| diff to current
2004-01-23	bdemsky	Fix some of Dan's bugs (code generation for relation...	blob \| commitdiff \| raw \| diff to current
2004-01-05	bdemsky	Still adding code to construct termination graph, abstr...	blob \| commitdiff \| raw \| diff to current
2003-12-22	bdemsky	Adding files	blob \| commitdiff \| raw \| diff to current

Data structure repair

RSS Atom