projects / repair.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
repair.git
2004-11-09 bdemskyFixed some bugs... commit | commitdiff | tree | snapshot
2004-11-09 bdemskyForgot to do the replacement commit | commitdiff | tree | snapshot
2004-11-09 bdemskyAdding Daikon related stuff. commit | commitdiff | tree | snapshot
2004-11-09 bdemskyAdded support for dynamically allocated arrays. commit | commitdiff | tree | snapshot
2004-11-09 bdemskyUpdates to check in. commit | commitdiff | tree | snapshot
2004-11-08 bdemskyImproved termination analysis so that daikon generated... commit | commitdiff | tree | snapshot
2004-11-07 bdemskySome embarrassing erros. The DNF conversion for negati... commit | commitdiff | tree | snapshot
2004-11-02 bdemskyFix grammar and Sum bug. commit | commitdiff | tree | snapshot
2004-11-02 bdemskyGeneralize definition of SumExpr a little...Lets sum... commit | commitdiff | tree | snapshot
2004-11-01 bdemskyFixed a memory leak in the runtime...Print neater text. commit | commitdiff | tree | snapshot
2004-11-01 bdemskybug..forgot to return value commit | commitdiff | tree | snapshot
2004-11-01 bdemskyVarious bug fixes related to the C switch. commit | commitdiff | tree | snapshot
2004-10-30 bdemskyAccidentally checked this file in...removing it now. commit | commitdiff | tree | snapshot
2004-10-30 bdemskyCompleted support for generating C code. commit | commitdiff | tree | snapshot
2004-10-30 bdemsky Checking in changes that: commit | commitdiff | tree | snapshot
2004-10-28 bdemskyrevert runtime file. commit | commitdiff | tree | snapshot
2004-10-28 bdemskyRevert changes. commit | commitdiff | tree | snapshot
2004-10-28 bdemskyAccidentally checked in code. commit | commitdiff | tree | snapshot
2004-10-28 bdemskyChecking in C runtime. commit | commitdiff | tree | snapshot
2004-10-28 bdemskyNew C Runtime. commit | commitdiff | tree | snapshot
2004-10-27 bdemskyGenerate code to compute the sum. commit | commitdiff | tree | snapshot
2004-10-27 bdemskyBug fixes for parsing sum expressions. commit | commitdiff | tree | snapshot
2004-10-27 bdemskyAdding support for sum expressions. commit | commitdiff | tree | snapshot
2004-10-25 bdemskyHad a bug in our implementation. If the list empties... commit | commitdiff | tree | snapshot
2004-10-25 bdemskyWant to zero next "next" pointer, not the one we just... commit | commitdiff | tree | snapshot
2004-10-24 bdemskyMake recursion a command line option. commit | commitdiff | tree | snapshot
2004-10-01 bdemskyHack grammar to add unary minus. commit | commitdiff | tree | snapshot
2004-09-30 bdemskyChecking in various changes... commit | commitdiff | tree | snapshot
2004-08-17 bdemskyBug in the freeciv spec. commit | commitdiff | tree | snapshot
2004-08-16 bdemskyBug with time instrumentation code. commit | commitdiff | tree | snapshot
2004-08-16 bdemskyChange to the spec...missed a consistency property... commit | commitdiff | tree | snapshot
2004-08-16 bdemskyOops..need a cast here. commit | commitdiff | tree | snapshot
2004-08-16 bdemskyoops...freeVars can return null. commit | commitdiff | tree | snapshot
2004-08-16 bdemskyRecord that we allocated a new object. commit | commitdiff | tree | snapshot
2004-08-16 bdemskyOops...forgot the grammar changes... commit | commitdiff | tree | snapshot
2004-08-15 bdemskyMake sure we create a reasonable large array...and... commit | commitdiff | tree | snapshot
2004-08-15 bdemskyImprove precision of interference analysis. Allow... commit | commitdiff | tree | snapshot
2004-08-15 bdemskyAbiword specification commit | commitdiff | tree | snapshot
2004-08-14 bdemskyAdd additional functionality to Simplehash. commit | commitdiff | tree | snapshot
2004-08-14 bdemskyUpdate virtual pointers for C++ code...Various fixes... commit | commitdiff | tree | snapshot
2004-08-13 bdemskyAdding the -cplusplus option. This option writes virua... commit | commitdiff | tree | snapshot
2004-08-12 bdemskyImproved precision of computation of maximum set sizes... commit | commitdiff | tree | snapshot
2004-08-10 bdemskyFixed some analysis problems... commit | commitdiff | tree | snapshot
2004-08-09 bdemskyRemoving various deprecated pieces of code...Fixed... commit | commitdiff | tree | snapshot
2004-08-04 bdemskyMore fixes commit | commitdiff | tree | snapshot
2004-08-03 bdemsky... commit | commitdiff | tree | snapshot
2004-08-02 bdemskyFixed some errors in the Repair Generator code. commit | commitdiff | tree | snapshot
2004-08-02 bdemskyUpdates to allow discovering of partial functions commit | commitdiff | tree | snapshot
2004-07-29 bdemskyUpdates to allow repairing backpointers. commit | commitdiff | tree | snapshot
2004-07-29 bdemskyUpdating size computation class.` commit | commitdiff | tree | snapshot
2004-07-28 bdemskyAdded new file. commit | commitdiff | tree | snapshot
2004-07-27 bdemskyBug fix... commit | commitdiff | tree | snapshot
2004-07-27 bdemskyAdd updates... commit | commitdiff | tree | snapshot
2004-07-21 bdemskyUpdate to analysis. commit | commitdiff | tree | snapshot
2004-07-20 bdemskyAdded needed comments, reorganized some code... commit | commitdiff | tree | snapshot
2004-07-20 bdemskySimplify logic commit | commitdiff | tree | snapshot
2004-07-20 bdemskyAdding readme files commit | commitdiff | tree | snapshot
2004-07-20 bdemskyRemove old file commit | commitdiff | tree | snapshot
2004-07-20 bdemskyremove obselete file commit | commitdiff | tree | snapshot
2004-07-20 bdemskyThis checkin eliminates cases in which the repair algor... commit | commitdiff | tree | snapshot
2004-07-19 bdemskyRemove two files that were never actually used. commit | commitdiff | tree | snapshot
2004-07-19 bdemskyAllows creation of subgraphs of the dependency graph... commit | commitdiff | tree | snapshot
2004-07-18 bdemskyMore checkins... commit | commitdiff | tree | snapshot
2004-07-14 bdemskyChanges: commit | commitdiff | tree | snapshot
2004-07-13 bdemskyAllow list of important structs commit | commitdiff | tree | snapshot
2004-07-13 bdemskyUpdate to add padding at the end of structs. commit | commitdiff | tree | snapshot
2004-07-13 bdemskyfixes to size computation. commit | commitdiff | tree | snapshot
2004-07-13 bdemskyFixed arrays some more... commit | commitdiff | tree | snapshot
2004-07-13 bdemskyimproved structure layout generation commit | commitdiff | tree | snapshot
2004-07-10 bdemskystructure extraction tool...works on binaries with... commit | commitdiff | tree | snapshot
2004-07-08 bdemskyCalculate correst size for subclass subtyping. commit | commitdiff | tree | snapshot
2004-07-08 bdemskyUpdates to grammar... commit | commitdiff | tree | snapshot
2004-07-08 bdemskyInvariant Value class commit | commitdiff | tree | snapshot
2004-05-31 bdemskyThis should make Cristian a happy person... We do... commit | commitdiff | tree | snapshot
2004-05-31 bdemsky1) Instrumentation code to count model rebuilds, etc... commit | commitdiff | tree | snapshot
2004-05-19 bdemskyFixed inteferes bug, improved precision of other analys... commit | commitdiff | tree | snapshot
2004-05-19 bdemskyWorklist items from a previous model build stay in... commit | commitdiff | tree | snapshot
2004-05-19 bdemskyThis one is Dan's. He misparses OR's as AND's for... commit | commitdiff | tree | snapshot
2004-05-18 bdemskyBugs with generating ands and ors...ahh. commit | commitdiff | tree | snapshot
2004-05-18 bdemskyDebug flag bug commit | commitdiff | tree | snapshot
2004-05-18 bdemskyC interface to the instrument interface commit | commitdiff | tree | snapshot
2004-05-18 bdemskyNeed {} around case statements because we define variab... commit | commitdiff | tree | snapshot
2004-05-18 bdemskyBugs: commit | commitdiff | tree | snapshot
2004-05-18 bdemskyFreeciv spec commit | commitdiff | tree | snapshot
2004-05-18 bdemskyFilesystem benchmark commit | commitdiff | tree | snapshot
2004-05-17 bdemskyEnable quiet output... commit | commitdiff | tree | snapshot
2004-05-17 bdemskygetrelation2 can return 0 in cases of a relation that... commit | commitdiff | tree | snapshot
2004-05-17 bdemskyFixed a variety of bugs... commit | commitdiff | tree | snapshot
2004-05-12 bdemskyMore bugs... commit | commitdiff | tree | snapshot
2004-05-12 bdemskyMore bug fixes...and debug flags commit | commitdiff | tree | snapshot
2004-05-11 bdemskyCode to improve search by pruning certain types of... commit | commitdiff | tree | snapshot
2004-05-11 bdemskyVarious bug fixes. commit | commitdiff | tree | snapshot
2004-05-11 bdemskyForgot to implement this method. commit | commitdiff | tree | snapshot
2004-05-11 bdemsky1) Further updates to specifications. commit | commitdiff | tree | snapshot
2004-05-10 bdemskyImproved search....Updated filesystem model. Added... commit | commitdiff | tree | snapshot
2004-05-09 bdemsky1) Added useDescriptor method to Expr's. commit | commitdiff | tree | snapshot
2004-05-06 bdemskyMoved makelib commit | commitdiff | tree | snapshot
2004-05-06 bdemskyMoved the interpreter commit | commitdiff | tree | snapshot
2004-05-06 bdemskyOrganizing commit | commitdiff | tree | snapshot
2004-05-06 bdemskyCleaning up more files commit | commitdiff | tree | snapshot
next
Data structure repair