projects / repair.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
repair.git
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
2004-05-06 bdemskyChecking in specs commit | commitdiff | tree | snapshot
2004-05-06 bdemskyMoving these commit | commitdiff | tree | snapshot
2004-05-06 bdemskyUseless files commit | commitdiff | tree | snapshot
2004-05-06 bdemskyThese files aren't useful. commit | commitdiff | tree | snapshot
2004-05-06 bdemskysize.h is automatically generated commit | commitdiff | tree | snapshot
2004-05-06 bdemsky1) Checking in filesystem example commit | commitdiff | tree | snapshot
2004-05-06 bdemskyRandom small changes... commit | commitdiff | tree | snapshot
2004-05-06 bdemskyLots of bugfixes... commit | commitdiff | tree | snapshot
2004-04-30 bdemskyAdded array bounds checks... commit | commitdiff | tree | snapshot
2004-04-30 bdemskyShould do array index calculations...Wonder if it works... commit | commitdiff | tree | snapshot
2004-04-29 cristicDon't need "Did you mean literal(...)?" anymore. commit | commitdiff | tree | snapshot
2004-04-29 bdemsky*** empty log message *** commit | commitdiff | tree | snapshot
2004-04-29 bdemskyAdded improvements to ImplicitSchema analysis, bug... commit | commitdiff | tree | snapshot
2004-04-27 bdemskyBug in the analysis...oops commit | commitdiff | tree | snapshot
2004-04-27 bdemskyAdded array analysis (computes paths used to add elemen... commit | commitdiff | tree | snapshot
2004-04-26 cristicAdding functionality for printing sets. commit | commitdiff | tree | snapshot
2004-04-23 cristicGrammar changes made today: commit | commitdiff | tree | snapshot
2004-04-22 bdemskyAdded code to correctly order checks... commit | commitdiff | tree | snapshot
2004-04-21 bdemskyChanges: commit | commitdiff | tree | snapshot
2004-04-19 bdemskyUpdate: commit | commitdiff | tree | snapshot
2004-04-17 bdemskyAdded code to compute maximum sizes of sets. So we... commit | commitdiff | tree | snapshot
2004-04-16 cristicAnother bug of cristians commit | commitdiff | tree | snapshot
2004-04-16 cristicFixed cristian bug commit | commitdiff | tree | snapshot
2004-04-16 cristicMore bugs fixed. commit | commitdiff | tree | snapshot
2004-04-16 bdemskyCristian bug fixes. commit | commitdiff | tree | snapshot
2004-04-16 bdemskyFixed some bugs in the analysis. commit | commitdiff | tree | snapshot
2004-04-16 bdemskyAdditional enhancements to compute mustremove and cantr... commit | commitdiff | tree | snapshot
2004-04-15 cristic*** empty log message *** commit | commitdiff | tree | snapshot
2004-04-15 cristicNicer semantic error messages, removed duplicates. commit | commitdiff | tree | snapshot
2004-04-15 bdemskyChecking in some checks... commit | commitdiff | tree | snapshot
2004-04-15 cristicOK, the parser now looks more decent. commit | commitdiff | tree | snapshot
2004-04-15 cristicAdded the name of the file to the error report. commit | commitdiff | tree | snapshot
2004-04-15 bdemskyCommitting changes to leftsize->rightSize, more comment... commit | commitdiff | tree | snapshot
2004-04-15 bdemskyStarted adding analysis for modifyrelation nodes. commit | commitdiff | tree | snapshot
2004-04-15 bdemskyBug fixes to make Cristian happy... commit | commitdiff | tree | snapshot
2004-04-14 bdemskyWe don't obey this constraint... commit | commitdiff | tree | snapshot
2004-04-14 cristicSome modifications to allow to print the name of the... commit | commitdiff | tree | snapshot
2004-04-14 cristicThe steps necessary to run the compiler on a new set... commit | commitdiff | tree | snapshot
2004-04-06 bdemskyExample program. commit | commitdiff | tree | snapshot
2004-04-06 cristicStrange formatting issues changed... commit | commitdiff | tree | snapshot
2004-04-06 bdemskyChecking in redblack sources commit | commitdiff | tree | snapshot
2004-04-06 cristicForgot this file. commit | commitdiff | tree | snapshot
2004-04-06 cristic... commit | commitdiff | tree | snapshot
2004-04-06 bdemskyMade flag work for checking only...Added support for... commit | commitdiff | tree | snapshot
2004-04-02 bdemskyChanged iterator behavior...It only iterates over the... commit | commitdiff | tree | snapshot
2004-04-02 bdemskyCompute strongly connected components of model rules... commit | commitdiff | tree | snapshot
2004-04-02 bdemskyFixed random bugs in the runtime. commit | commitdiff | tree | snapshot
2004-04-01 bdemskyReplaced findcycles method with something more efficien... commit | commitdiff | tree | snapshot
2004-04-01 bdemskyAdded Strongly Connected Component support into GraphNodes. commit | commitdiff | tree | snapshot
2004-03-10 bdemskyFix random errors/typos... commit | commitdiff | tree | snapshot
2004-03-10 bdemskyAdded: commit | commitdiff | tree | snapshot
2004-03-08 bdemskyAdded support for stack allocation. Check for NULL... commit | commitdiff | tree | snapshot
2004-03-08 bdemskyAdded support for stack allocation... commit | commitdiff | tree | snapshot
2004-03-07 bdemskyStill buggy, but getting closer... commit | commitdiff | tree | snapshot
2004-03-07 bdemskyAdded: commit | commitdiff | tree | snapshot
2004-03-05 bdemskyRuntime for checker... commit | commitdiff | tree | snapshot
2004-03-01 bdemskyMistake in interface assumptions... commit | commitdiff | tree | snapshot
2004-03-01 bdemsky*** empty log message *** commit | commitdiff | tree | snapshot
2004-02-27 bdemskyCreating a runtime directory... commit | commitdiff | tree | snapshot
2004-02-27 bdemskyDan was leaking memory via iterators... This leak... commit | commitdiff | tree | snapshot
2004-02-27 bdemskyChecking in super-optimized SimpleHash code... Good... commit | commitdiff | tree | snapshot
next
Data structure repair