projects / repair.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New C Runtime.
[repair.git] / Repair /
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
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-19 bdemskyThis one is Dan's. He misparses OR's as AND's for... tree | commitdiff
2004-05-18 bdemskyBugs with generating ands and ors...ahh. tree | commitdiff
2004-05-18 bdemskyDebug flag bug tree | commitdiff
2004-05-18 bdemskyC interface to the instrument interface tree | commitdiff
2004-05-18 bdemskyNeed {} around case statements because we define variab... tree | commitdiff
2004-05-18 bdemskyBugs: tree | commitdiff
2004-05-18 bdemskyFreeciv spec tree | commitdiff
2004-05-18 bdemskyFilesystem benchmark tree | commitdiff
2004-05-17 bdemskyEnable quiet output... 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 bdemskyVarious bug fixes. tree | commitdiff
2004-05-11 bdemskyForgot to implement this method. 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 bdemskyMoved makelib tree | commitdiff
2004-05-06 bdemskyMoved the interpreter tree | commitdiff
2004-05-06 bdemskyOrganizing tree | commitdiff
2004-05-06 bdemskyCleaning up more files tree | commitdiff
2004-05-06 bdemskyChecking in specs tree | commitdiff
2004-05-06 bdemskyMoving these tree | commitdiff
2004-05-06 bdemskyUseless files tree | commitdiff
2004-05-06 bdemskyThese files aren't useful. tree | commitdiff
2004-05-06 bdemskysize.h is automatically generated 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 cristicDon't need "Did you mean literal(...)?" anymore. 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-23 cristicGrammar changes made today: tree | commitdiff
2004-04-22 bdemskyAdded code to correctly order checks... tree | commitdiff
2004-04-21 bdemskyChanges: tree | commitdiff
next
Data structure repair