Forgot to implement this method.
[repair.git] / Repair /
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...
2004-04-06 bdemskyMade flag work for checking only...Added support for...
2004-04-02 bdemskyChanged iterator behavior...It only iterates over the...
2004-04-02 bdemskyCompute strongly connected components of model rules...
2004-04-02 bdemskyFixed random bugs in the runtime.
2004-04-01 bdemskyReplaced findcycles method with something more efficien...
2004-04-01 bdemskyAdded Strongly Connected Component support into GraphNodes.
2004-03-10 bdemskyFix random errors/typos...
2004-03-10 bdemskyAdded:
2004-03-08 bdemskyAdded support for stack allocation. Check for NULL...
2004-03-08 bdemskyAdded support for stack allocation...
2004-03-07 bdemskyStill buggy, but getting closer...
2004-03-07 bdemskyAdded:
2004-03-05 bdemskyRuntime for checker...
2004-03-01 bdemskyMistake in interface assumptions...
2004-03-01 bdemsky*** empty log message ***
2004-02-27 bdemskyCreating a runtime directory...
2004-02-27 bdemskyDan was leaking memory via iterators... This leak...
2004-02-27 bdemskyChecking in super-optimized SimpleHash code... Good...
2004-02-27 bdemskyChecking in update to hashtable code...
2004-02-26 bdemskyAdding test case & bug fixes to generate code for test...
2004-02-26 bdemskyFixed Dan's confusion regarding alignment of fields...
2004-02-25 bdemskyChecking in code that:
2004-02-25 bdemskyUpdating files...
2004-02-17 bdemskyNew runtime for repair system.
2004-02-17 bdemskyThese checking do the reconstruction of the model and...
2004-02-12 bdemskyAdding code to generate repair algorithms. Its not...
2004-02-06 bdemskyChecking in code to perform safety checks on repair...
2004-02-05 bdemskyAdded support to printout data structure update nodes...
2004-02-04 bdemskyAdding changes to cvs...
2004-01-23 bdemskyFix some of Dan's bugs (code generation for relation...
2004-01-10 bdemskyFixed lot of random bugs. Added code generate strings...
2004-01-06 bdemskyMore changes
2004-01-05 bdemskyRandom typos.
2004-01-05 bdemskyStill adding code to construct termination graph, abstr...
2003-12-22 bdemskyAdding files
2003-12-22 bdemskyupdates
2003-12-18 bdemskyGrammar updates, etc...
2003-12-18 bdemskyUpdates
2003-11-26 droyheh
2003-11-25 droymissing files
2003-09-20 droyoptimized works
2003-09-19 droyworklist version
2003-09-17 droybefore paper
2003-08-06 droytest
2003-07-09 droychanges for benchmark
2003-07-09 droysizeofpredi
2003-07-09 droytypesafe
2003-07-09 droymodel and checks
2003-07-07 droyfixed problems with CDL.cup
next