Make merging nodes an option.
[repair.git] / Repair / RepairCompiler / MCC / IR / Termination.java
2005-02-20 bdemskyMake merging nodes an option.
2005-02-04 bdemskyOptions to print prettier graphs...
2004-11-10 bdemsky1) Fixed some bugs in the redblack tree implementation...
2004-11-09 bdemskyUpdates to check in.
2004-11-08 bdemskyImproved termination analysis so that daikon generated...
2004-08-15 bdemskyImprove precision of interference analysis. Allow...
2004-08-02 bdemskyFixed some errors in the Repair Generator code.
2004-07-29 bdemskyUpdates to allow repairing backpointers.
2004-07-28 bdemskyAdded new file.
2004-07-27 bdemskyAdd updates...
2004-07-20 bdemskyAdded needed comments, reorganized some code...
2004-07-20 bdemskyThis checkin eliminates cases in which the repair algor...
2004-07-18 bdemskyMore checkins...
2004-05-19 bdemskyFixed inteferes bug, improved precision of other analys...
2004-05-11 bdemskyCode to improve search by pruning certain types of...
2004-05-09 bdemsky1) Added useDescriptor method to Expr's.
2004-05-06 bdemsky1) Checking in filesystem example
2004-05-06 bdemskyRandom small changes...
2004-05-06 bdemskyLots of bugfixes...
2004-04-29 bdemsky*** empty log message ***
2004-04-29 bdemskyAdded improvements to ImplicitSchema analysis, bug...
2004-04-27 bdemskyAdded array analysis (computes paths used to add elemen...
2004-04-22 bdemskyAdded code to correctly order checks...
2004-04-21 bdemskyChanges:
2004-04-19 bdemskyUpdate:
2004-04-17 bdemskyAdded code to compute maximum sizes of sets. So we...
2004-04-16 bdemskyAdditional enhancements to compute mustremove and cantr...
2004-04-15 bdemskyStarted adding analysis for modifyrelation nodes.
2004-04-06 bdemskyMade flag work for checking only...Added support for...
2004-04-01 bdemskyAdded Strongly Connected Component support into GraphNodes.
2004-03-10 bdemskyAdded:
2004-02-25 bdemskyChecking in code that:
2004-02-25 bdemskyUpdating files...
2004-02-17 bdemskyThese checking do the reconstruction of the model and...
2004-02-12 bdemskyAdding code to generate repair algorithms. Its not...
2004-02-06 bdemskyChecking in code to perform safety checks on repair...
2004-02-05 bdemskyAdded support to printout data structure update nodes...
2004-02-04 bdemskyAdding changes to cvs...
2004-01-23 bdemskyFix some of Dan's bugs (code generation for relation...
2004-01-10 bdemskyFixed lot of random bugs. Added code generate strings...
2004-01-06 bdemskyMore changes
2004-01-05 bdemskyRandom typos.
2004-01-05 bdemskyStill adding code to construct termination graph, abstr...
2003-12-22 bdemskyupdates
2003-12-18 bdemskyUpdates