Fixed some errors in the Repair Generator code.
[repair.git] / Repair / RepairCompiler / MCC / IR / GraphAnalysis.java
2004-08-02 bdemskyFixed some errors in the Repair Generator code.
2004-07-27 bdemskyBug fix...
2004-05-11 bdemskyCode to improve search by pruning certain types of...
2004-05-11 bdemsky1) Further updates to specifications.
2004-05-10 bdemskyImproved search....Updated filesystem model. Added...
2004-04-27 bdemskyAdded array analysis (computes paths used to add elemen...
2004-04-17 bdemskyAdded code to compute maximum sizes of sets. So we...
2004-04-16 bdemskyFixed some bugs in the analysis.
2004-04-16 bdemskyAdditional enhancements to compute mustremove and cantr...
2004-04-15 bdemskyStarted adding analysis for modifyrelation nodes.
2004-04-01 bdemskyAdded Strongly Connected Component support into GraphNodes.
2004-03-10 bdemskyAdded:
2004-02-12 bdemskyAdding code to generate repair algorithms. Its not...
2004-02-06 bdemskyChecking in code to perform safety checks on repair...