projects / repair.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixed some errors in the Repair Generator code.
[repair.git] / Repair / RepairCompiler / MCC / IR /
2004-08-02 bdemskyFixed some errors in the Repair Generator code. tree | commitdiff
2004-08-02 bdemskyUpdates to allow discovering of partial functions tree | commitdiff
2004-07-29 bdemskyUpdates to allow repairing backpointers. tree | commitdiff
2004-07-29 bdemskyUpdating size computation class.` tree | commitdiff
2004-07-28 bdemskyAdded new file. tree | commitdiff
2004-07-27 bdemskyBug fix... tree | commitdiff
2004-07-27 bdemskyAdd updates... tree | commitdiff
2004-07-21 bdemskyUpdate to analysis. tree | commitdiff
2004-07-20 bdemskyAdded needed comments, reorganized some code... tree | commitdiff
2004-07-20 bdemskySimplify logic tree | commitdiff
2004-07-20 bdemskyThis checkin eliminates cases in which the repair algor... tree | commitdiff
2004-07-19 bdemskyRemove two files that were never actually used. tree | commitdiff
2004-07-19 bdemskyAllows creation of subgraphs of the dependency graph... tree | commitdiff
2004-07-18 bdemskyMore checkins... tree | commitdiff
2004-07-14 bdemskyChanges: tree | commitdiff
2004-07-08 bdemskyCalculate correst size for subclass subtyping. tree | commitdiff
2004-07-08 bdemskyUpdates to grammar... tree | commitdiff
2004-07-08 bdemskyInvariant Value class tree | commitdiff
2004-05-31 bdemskyThis should make Cristian a happy person... We do... tree | commitdiff
2004-05-31 bdemsky1) Instrumentation code to count model rebuilds, etc... tree | commitdiff
2004-05-19 bdemskyFixed inteferes bug, improved precision of other analys... tree | commitdiff
2004-05-19 bdemskyWorklist items from a previous model build stay in... tree | commitdiff
2004-05-18 bdemskyBugs with generating ands and ors...ahh. tree | commitdiff
2004-05-18 bdemskyNeed {} around case statements because we define variab... tree | commitdiff
2004-05-18 bdemskyBugs: tree | commitdiff
2004-05-17 bdemskygetrelation2 can return 0 in cases of a relation that... tree | commitdiff
2004-05-17 bdemskyFixed a variety of bugs... tree | commitdiff
2004-05-12 bdemskyMore bugs... tree | commitdiff
2004-05-12 bdemskyMore bug fixes...and debug flags tree | commitdiff
2004-05-11 bdemskyCode to improve search by pruning certain types of... tree | commitdiff
2004-05-11 bdemsky1) Further updates to specifications. tree | commitdiff
2004-05-10 bdemskyImproved search....Updated filesystem model. Added... tree | commitdiff
2004-05-09 bdemsky1) Added useDescriptor method to Expr's. tree | commitdiff
2004-05-06 bdemsky1) Checking in filesystem example tree | commitdiff
2004-05-06 bdemskyRandom small changes... tree | commitdiff
2004-05-06 bdemskyLots of bugfixes... tree | commitdiff
2004-04-30 bdemskyAdded array bounds checks... tree | commitdiff
2004-04-30 bdemskyShould do array index calculations...Wonder if it works... tree | commitdiff
2004-04-29 bdemsky*** empty log message *** tree | commitdiff
2004-04-29 bdemskyAdded improvements to ImplicitSchema analysis, bug... tree | commitdiff
2004-04-27 bdemskyBug in the analysis...oops tree | commitdiff
2004-04-27 bdemskyAdded array analysis (computes paths used to add elemen... tree | commitdiff
2004-04-26 cristicAdding functionality for printing sets. tree | commitdiff
2004-04-22 bdemskyAdded code to correctly order checks... tree | commitdiff
2004-04-21 bdemskyChanges: tree | commitdiff
2004-04-19 bdemskyUpdate: tree | commitdiff
2004-04-17 bdemskyAdded code to compute maximum sizes of sets. So we... tree | commitdiff
2004-04-16 cristicAnother bug of cristians tree | commitdiff
2004-04-16 cristicFixed cristian bug tree | commitdiff
2004-04-16 cristicMore bugs fixed. tree | commitdiff
2004-04-16 bdemskyCristian bug fixes. tree | commitdiff
2004-04-16 bdemskyFixed some bugs in the analysis. tree | commitdiff
2004-04-16 bdemskyAdditional enhancements to compute mustremove and cantr... tree | commitdiff
2004-04-15 cristicNicer semantic error messages, removed duplicates. tree | commitdiff
2004-04-15 bdemskyChecking in some checks... tree | commitdiff
2004-04-15 bdemskyCommitting changes to leftsize->rightSize, more comment... tree | commitdiff
2004-04-15 bdemskyStarted adding analysis for modifyrelation nodes. tree | commitdiff
2004-04-15 bdemskyBug fixes to make Cristian happy... tree | commitdiff
2004-04-14 bdemskyWe don't obey this constraint... tree | commitdiff
2004-04-14 cristicSome modifications to allow to print the name of the... tree | commitdiff
2004-04-06 bdemskyMade flag work for checking only...Added support for... tree | commitdiff
2004-04-02 bdemskyCompute strongly connected components of model rules... tree | commitdiff
2004-04-01 bdemskyReplaced findcycles method with something more efficien... tree | commitdiff
2004-04-01 bdemskyAdded Strongly Connected Component support into GraphNodes. tree | commitdiff
2004-03-10 bdemskyFix random errors/typos... tree | commitdiff
2004-03-10 bdemskyAdded: tree | commitdiff
2004-03-08 bdemskyAdded support for stack allocation. Check for NULL... tree | commitdiff
2004-03-07 bdemskyAdded: tree | commitdiff
2004-03-01 bdemskyMistake in interface assumptions... tree | commitdiff
2004-03-01 bdemsky*** empty log message *** tree | commitdiff
2004-02-27 bdemskyCreating a runtime directory... tree | commitdiff
2004-02-27 bdemskyDan was leaking memory via iterators... This leak... tree | commitdiff
2004-02-27 bdemskyChecking in super-optimized SimpleHash code... Good... tree | commitdiff
2004-02-26 bdemskyAdding test case & bug fixes to generate code for test... tree | commitdiff
2004-02-26 bdemskyFixed Dan's confusion regarding alignment of fields... tree | commitdiff
2004-02-25 bdemskyChecking in code that: tree | commitdiff
2004-02-25 bdemskyUpdating files... tree | commitdiff
2004-02-17 bdemskyThese checking do the reconstruction of the model and... tree | commitdiff
2004-02-12 bdemskyAdding code to generate repair algorithms. Its not... tree | commitdiff
2004-02-06 bdemskyChecking in code to perform safety checks on repair... tree | commitdiff
2004-02-05 bdemskyAdded support to printout data structure update nodes... tree | commitdiff
2004-02-04 bdemskyAdding changes to cvs... tree | commitdiff
2004-01-23 bdemskyFix some of Dan's bugs (code generation for relation... tree | commitdiff
2004-01-10 bdemskyFixed lot of random bugs. Added code generate strings... tree | commitdiff
2004-01-06 bdemskyMore changes tree | commitdiff
2004-01-05 bdemskyRandom typos. tree | commitdiff
2004-01-05 bdemskyStill adding code to construct termination graph, abstr... tree | commitdiff
2003-12-22 bdemskyAdding files tree | commitdiff
2003-12-22 bdemskyupdates tree | commitdiff
2003-12-18 bdemskyUpdates tree | commitdiff
2003-11-26 droyheh tree | commitdiff
2003-11-25 droymissing files tree | commitdiff
2003-09-20 droyoptimized works tree | commitdiff
2003-09-19 droyworklist version tree | commitdiff
2003-08-06 droytest tree | commitdiff
2003-07-09 droysizeofpredi tree | commitdiff
2003-07-09 droytypesafe tree | commitdiff
2003-07-09 droymodel and checks tree | commitdiff
2003-07-07 droyfixed problems with CDL.cup tree | commitdiff
2003-07-07 droyIR tree | commitdiff
Data structure repair