projects / repair.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
correct
[repair.git] / Repair / RepairCompiler / MCC / IR / DotExpr.java
2005-11-09 bdemskyChanges to allow unique names commit | commitdiff
2005-10-19 bdemskyFixed 0 case I think. commit | commitdiff
2005-10-17 bdemskyHacks to allow repairs of fields used to define layouts... commit | commitdiff
2005-10-12 bdemsky2 bug fixes to getRequiredConstraints commit | commitdiff
2005-10-05 bdemskyAdded minimum size analysis. commit | commitdiff
2004-11-02 bdemskyGeneralize definition of SumExpr a little...Lets sum... commit | commitdiff
2004-10-30 bdemskyCompleted support for generating C code. commit | commitdiff
2004-10-30 bdemsky Checking in changes that: commit | commitdiff
2004-07-27 bdemskyAdd updates... commit | commitdiff
2004-07-20 bdemskyAdded needed comments, reorganized some code... commit | commitdiff
2004-07-18 bdemskyMore checkins... commit | commitdiff
2004-07-14 bdemskyChanges: commit | commitdiff
2004-05-31 bdemsky1) Instrumentation code to count model rebuilds, etc... commit | commitdiff
2004-05-18 bdemskyBugs: commit | commitdiff
2004-05-12 bdemskyMore bug fixes...and debug flags commit | commitdiff
2004-05-11 bdemskyCode to improve search by pruning certain types of... commit | commitdiff
2004-05-09 bdemsky1) Added useDescriptor method to Expr's. commit | commitdiff
2004-04-30 bdemskyAdded array bounds checks... commit | commitdiff
2004-04-21 bdemskyChanges: commit | commitdiff
2004-04-15 bdemskyChecking in some checks... commit | commitdiff
2004-04-15 bdemskyBug fixes to make Cristian happy... commit | commitdiff
2004-03-10 bdemskyAdded: commit | commitdiff
2004-03-08 bdemskyAdded support for stack allocation. Check for NULL... commit | commitdiff
2004-03-07 bdemskyAdded: commit | commitdiff
2004-02-26 bdemskyFixed Dan's confusion regarding alignment of fields... commit | commitdiff
2004-02-12 bdemskyAdding code to generate repair algorithms. Its not... commit | commitdiff
2004-02-05 bdemskyAdded support to printout data structure update nodes... commit | commitdiff
2004-01-10 bdemskyFixed lot of random bugs. Added code generate strings... commit | commitdiff
2004-01-05 bdemskyRandom typos. commit | commitdiff
2004-01-05 bdemskyStill adding code to construct termination graph, abstr... commit | commitdiff
2003-09-20 droyoptimized works commit | commitdiff
2003-09-19 droyworklist version commit | commitdiff
2003-08-06 droytest commit | commitdiff
2003-07-07 droyIR commit | commitdiff
Data structure repair