projects / repair.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
*** empty log message ***
[repair.git] / Repair / RepairCompiler /
2005-11-09 bdemskyAdd option to remove conjunctions. tree | commitdiff
2005-11-09 bdemskyChanges to allow unique names tree | commitdiff
2005-11-04 bdemskyHack to fix naming issues. tree | commitdiff
2005-10-19 bdemskyFixed 0 case I think. tree | commitdiff
2005-10-17 bdemskyreturn reasonable error codes tree | commitdiff
2005-10-17 bdemskyHacks to allow repairs of fields used to define layouts... tree | commitdiff
2005-10-14 bdemskyNew option -printrepair added. Prints updates to data... tree | commitdiff
2005-10-12 bdemsky2 bug fixes to getRequiredConstraints tree | commitdiff
2005-10-12 bdemsky2 bug fixes to getRequiredConstraints tree | commitdiff
2005-10-10 bdemskydon't call the typemap with value 0 tree | commitdiff
2005-10-10 bdemskyfix typo. tree | commitdiff
2005-10-10 bdemskystupid bugs in our realloc function fixed tree | commitdiff
2005-10-06 bdemskyfix generation of graph files tree | commitdiff
2005-10-05 bdemskyAdded minimum size analysis. tree | commitdiff
2005-10-02 bdemskyQuantifier bugs. tree | commitdiff
2005-10-02 bdemskyQuantifiers use relations!!! tree | commitdiff
2005-09-30 bdemskySmall changes to allow: tree | commitdiff
2005-09-30 bdemskyName typedefs tree | commitdiff
2005-06-02 bdemskyRewrote safetransclosure method so its obvious it is... tree | commitdiff
2005-06-01 bdemskySmall improvement. tree | commitdiff
2005-06-01 bdemskyFixed transitive closure computation. tree | commitdiff
2005-05-31 bdemskyAdded more comments. Fixed some bugs. tree | commitdiff
2005-02-20 bdemskyMake merging nodes an option. tree | commitdiff
2005-02-20 bdemskyMake merging nodes an option. tree | commitdiff
2005-02-04 bdemskyOptions to print prettier graphs... tree | commitdiff
2005-01-24 bdemskyCommitting pretty printer fix. tree | commitdiff
2004-12-09 bdemskyupdate readme tree | commitdiff
2004-12-09 bdemskyadd simple file benchmark for users. tree | commitdiff
2004-11-10 bdemsky1) Fixed some bugs in the redblack tree implementation... tree | commitdiff
2004-11-09 bdemskyFixed some bugs... tree | commitdiff
2004-11-09 bdemskyForgot to do the replacement tree | commitdiff
2004-11-09 bdemskyAdding Daikon related stuff. tree | commitdiff
2004-11-09 bdemskyAdded support for dynamically allocated arrays. tree | commitdiff
2004-11-09 bdemskyUpdates to check in. tree | commitdiff
2004-11-08 bdemskyImproved termination analysis so that daikon generated... tree | commitdiff
2004-11-07 bdemskySome embarrassing erros. The DNF conversion for negati... tree | commitdiff
2004-11-02 bdemskyFix grammar and Sum bug. tree | commitdiff
2004-11-02 bdemskyGeneralize definition of SumExpr a little...Lets sum... tree | commitdiff
2004-11-01 bdemskyFixed a memory leak in the runtime...Print neater text. tree | commitdiff
2004-11-01 bdemskybug..forgot to return value tree | commitdiff
2004-11-01 bdemskyVarious bug fixes related to the C switch. tree | commitdiff
2004-10-30 bdemskyAccidentally checked this file in...removing it now. tree | commitdiff
2004-10-30 bdemskyCompleted support for generating C code. tree | commitdiff
2004-10-30 bdemsky Checking in changes that: tree | commitdiff
2004-10-28 bdemskyrevert runtime file. tree | commitdiff
2004-10-28 bdemskyRevert changes. tree | commitdiff
2004-10-28 bdemskyAccidentally checked in code. tree | commitdiff
2004-10-28 bdemskyChecking in C runtime. tree | commitdiff
2004-10-28 bdemskyNew C Runtime. tree | commitdiff
2004-10-27 bdemskyGenerate code to compute the sum. tree | commitdiff
2004-10-27 bdemskyBug fixes for parsing sum expressions. tree | commitdiff
2004-10-27 bdemskyAdding support for sum expressions. tree | commitdiff
2004-10-25 bdemskyHad a bug in our implementation. If the list empties... tree | commitdiff
2004-10-25 bdemskyWant to zero next "next" pointer, not the one we just... tree | commitdiff
2004-10-24 bdemskyMake recursion a command line option. tree | commitdiff
2004-10-01 bdemskyHack grammar to add unary minus. tree | commitdiff
2004-09-30 bdemskyChecking in various changes... tree | commitdiff
2004-08-17 bdemskyBug in the freeciv spec. tree | commitdiff
2004-08-16 bdemskyBug with time instrumentation code. tree | commitdiff
2004-08-16 bdemskyChange to the spec...missed a consistency property... tree | commitdiff
2004-08-16 bdemskyOops..need a cast here. tree | commitdiff
2004-08-16 bdemskyoops...freeVars can return null. tree | commitdiff
2004-08-16 bdemskyRecord that we allocated a new object. tree | commitdiff
2004-08-16 bdemskyOops...forgot the grammar changes... tree | commitdiff
2004-08-15 bdemskyMake sure we create a reasonable large array...and... tree | commitdiff
2004-08-15 bdemskyImprove precision of interference analysis. Allow... tree | commitdiff
2004-08-15 bdemskyAbiword specification tree | commitdiff
2004-08-14 bdemskyAdd additional functionality to Simplehash. tree | commitdiff
2004-08-14 bdemskyUpdate virtual pointers for C++ code...Various fixes... tree | commitdiff
2004-08-13 bdemskyAdding the -cplusplus option. This option writes virua... tree | commitdiff
2004-08-12 bdemskyImproved precision of computation of maximum set sizes... tree | commitdiff
2004-08-10 bdemskyFixed some analysis problems... tree | commitdiff
2004-08-09 bdemskyRemoving various deprecated pieces of code...Fixed... tree | commitdiff
2004-08-04 bdemskyMore fixes tree | commitdiff
2004-08-03 bdemsky... tree | commitdiff
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 bdemskyAdding readme files tree | commitdiff
2004-07-20 bdemskyRemove old file tree | commitdiff
2004-07-20 bdemskyremove obselete file 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-13 bdemskyAllow list of important structs tree | commitdiff
2004-07-13 bdemskyUpdate to add padding at the end of structs. tree | commitdiff
2004-07-13 bdemskyfixes to size computation. tree | commitdiff
2004-07-13 bdemskyFixed arrays some more... tree | commitdiff
2004-07-13 bdemskyimproved structure layout generation tree | commitdiff
2004-07-10 bdemskystructure extraction tool...works on binaries with... tree | commitdiff
2004-07-08 bdemskyCalculate correst size for subclass subtyping. tree | commitdiff
next
Data structure repair