repair.git
2004-08-09 bdemskyRemoving various deprecated pieces of code...Fixed...
2004-08-04 bdemskyMore fixes
2004-08-03 bdemsky...
2004-08-02 bdemskyFixed some errors in the Repair Generator code.
2004-08-02 bdemskyUpdates to allow discovering of partial functions
2004-07-29 bdemskyUpdates to allow repairing backpointers.
2004-07-29 bdemskyUpdating size computation class.`
2004-07-28 bdemskyAdded new file.
2004-07-27 bdemskyBug fix...
2004-07-27 bdemskyAdd updates...
2004-07-21 bdemskyUpdate to analysis.
2004-07-20 bdemskyAdded needed comments, reorganized some code...
2004-07-20 bdemskySimplify logic
2004-07-20 bdemskyAdding readme files
2004-07-20 bdemskyRemove old file
2004-07-20 bdemskyremove obselete file
2004-07-20 bdemskyThis checkin eliminates cases in which the repair algor...
2004-07-19 bdemskyRemove two files that were never actually used.
2004-07-19 bdemskyAllows creation of subgraphs of the dependency graph...
2004-07-18 bdemskyMore checkins...
2004-07-14 bdemskyChanges:
2004-07-13 bdemskyAllow list of important structs
2004-07-13 bdemskyUpdate to add padding at the end of structs.
2004-07-13 bdemskyfixes to size computation.
2004-07-13 bdemskyFixed arrays some more...
2004-07-13 bdemskyimproved structure layout generation
2004-07-10 bdemskystructure extraction tool...works on binaries with...
2004-07-08 bdemskyCalculate correst size for subclass subtyping.
2004-07-08 bdemskyUpdates to grammar...
2004-07-08 bdemskyInvariant Value class
2004-05-31 bdemskyThis should make Cristian a happy person... We do...
2004-05-31 bdemsky1) Instrumentation code to count model rebuilds, etc...
2004-05-19 bdemskyFixed inteferes bug, improved precision of other analys...
2004-05-19 bdemskyWorklist items from a previous model build stay in...
2004-05-19 bdemskyThis one is Dan's. He misparses OR's as AND's for...
2004-05-18 bdemskyBugs with generating ands and ors...ahh.
2004-05-18 bdemskyDebug flag bug
2004-05-18 bdemskyC interface to the instrument interface
2004-05-18 bdemskyNeed {} around case statements because we define variab...
2004-05-18 bdemskyBugs:
2004-05-18 bdemskyFreeciv spec
2004-05-18 bdemskyFilesystem benchmark
2004-05-17 bdemskyEnable quiet output...
2004-05-17 bdemskygetrelation2 can return 0 in cases of a relation that...
2004-05-17 bdemskyFixed a variety of bugs...
2004-05-12 bdemskyMore bugs...
2004-05-12 bdemskyMore bug fixes...and debug flags
2004-05-11 bdemskyCode to improve search by pruning certain types of...
2004-05-11 bdemskyVarious bug fixes.
2004-05-11 bdemskyForgot to implement this method.
2004-05-11 bdemsky1) Further updates to specifications.
2004-05-10 bdemskyImproved search....Updated filesystem model. Added...
2004-05-09 bdemsky1) Added useDescriptor method to Expr's.
2004-05-06 bdemskyMoved makelib
2004-05-06 bdemskyMoved the interpreter
2004-05-06 bdemskyOrganizing
2004-05-06 bdemskyCleaning up more files
2004-05-06 bdemskyChecking in specs
2004-05-06 bdemskyMoving these
2004-05-06 bdemskyUseless files
2004-05-06 bdemskyThese files aren't useful.
2004-05-06 bdemskysize.h is automatically generated
2004-05-06 bdemsky1) Checking in filesystem example
2004-05-06 bdemskyRandom small changes...
2004-05-06 bdemskyLots of bugfixes...
2004-04-30 bdemskyAdded array bounds checks...
2004-04-30 bdemskyShould do array index calculations...Wonder if it works...
2004-04-29 cristicDon't need "Did you mean literal(...)?" anymore.
2004-04-29 bdemsky*** empty log message ***
2004-04-29 bdemskyAdded improvements to ImplicitSchema analysis, bug...
2004-04-27 bdemskyBug in the analysis...oops
2004-04-27 bdemskyAdded array analysis (computes paths used to add elemen...
2004-04-26 cristicAdding functionality for printing sets.
2004-04-23 cristicGrammar changes made today:
2004-04-22 bdemskyAdded code to correctly order checks...
2004-04-21 bdemskyChanges:
2004-04-19 bdemskyUpdate:
2004-04-17 bdemskyAdded code to compute maximum sizes of sets. So we...
2004-04-16 cristicAnother bug of cristians
2004-04-16 cristicFixed cristian bug
2004-04-16 cristicMore bugs fixed.
2004-04-16 bdemskyCristian bug fixes.
2004-04-16 bdemskyFixed some bugs in the analysis.
2004-04-16 bdemskyAdditional enhancements to compute mustremove and cantr...
2004-04-15 cristic*** empty log message ***
2004-04-15 cristicNicer semantic error messages, removed duplicates.
2004-04-15 bdemskyChecking in some checks...
2004-04-15 cristicOK, the parser now looks more decent.
2004-04-15 cristicAdded the name of the file to the error report.
2004-04-15 bdemskyCommitting changes to leftsize->rightSize, more comment...
2004-04-15 bdemskyStarted adding analysis for modifyrelation nodes.
2004-04-15 bdemskyBug fixes to make Cristian happy...
2004-04-14 bdemskyWe don't obey this constraint...
2004-04-14 cristicSome modifications to allow to print the name of the...
2004-04-14 cristicThe steps necessary to run the compiler on a new set...
2004-04-06 bdemskyExample program.
2004-04-06 cristicStrange formatting issues changed...
2004-04-06 bdemskyChecking in redblack sources
2004-04-06 cristicForgot this file.
2004-04-06 cristic...
next