repair.git
17 years agoAdded new file.
bdemsky [Wed, 28 Jul 2004 22:11:10 +0000 (22:11 +0000)]
Added new file.

17 years agoBug fix...
bdemsky [Tue, 27 Jul 2004 19:17:15 +0000 (19:17 +0000)]
Bug fix...

17 years agoAdd updates...
bdemsky [Tue, 27 Jul 2004 05:43:06 +0000 (05:43 +0000)]
Add updates...

17 years agoUpdate to analysis.
bdemsky [Wed, 21 Jul 2004 05:00:27 +0000 (05:00 +0000)]
Update to analysis.

17 years agoAdded needed comments, reorganized some code...
bdemsky [Tue, 20 Jul 2004 19:17:27 +0000 (19:17 +0000)]
Added needed comments, reorganized some code...

17 years agoSimplify logic
bdemsky [Tue, 20 Jul 2004 05:21:09 +0000 (05:21 +0000)]
Simplify logic

17 years agoAdding readme files
bdemsky [Tue, 20 Jul 2004 02:26:11 +0000 (02:26 +0000)]
Adding readme files

17 years agoRemove old file
bdemsky [Tue, 20 Jul 2004 02:23:28 +0000 (02:23 +0000)]
Remove old file

17 years agoremove obselete file
bdemsky [Tue, 20 Jul 2004 02:22:39 +0000 (02:22 +0000)]
remove obselete file

17 years agoThis checkin eliminates cases in which the repair algorithm generates unnecessary...
bdemsky [Tue, 20 Jul 2004 02:05:07 +0000 (02:05 +0000)]
This checkin eliminates cases in which the repair algorithm generates unnecessary data structure updates to add an object to a set it is already in.

17 years agoRemove two files that were never actually used.
bdemsky [Mon, 19 Jul 2004 04:54:18 +0000 (04:54 +0000)]
Remove two files that were never actually used.

17 years agoAllows creation of subgraphs of the dependency graph for debugging purposes.
bdemsky [Mon, 19 Jul 2004 04:46:39 +0000 (04:46 +0000)]
Allows creation of subgraphs of the dependency graph for debugging purposes.

17 years agoMore checkins...
bdemsky [Sun, 18 Jul 2004 19:20:26 +0000 (19:20 +0000)]
More checkins...

17 years agoChanges:
bdemsky [Wed, 14 Jul 2004 19:37:57 +0000 (19:37 +0000)]
Changes:
1) structextract escapes '.' in fieldnames...(internal pointers were causing problems)

2) compiler no longer requires types of pointers to be declared...

17 years agoAllow list of important structs
bdemsky [Tue, 13 Jul 2004 22:31:37 +0000 (22:31 +0000)]
Allow list of important structs

17 years agoUpdate to add padding at the end of structs.
bdemsky [Tue, 13 Jul 2004 18:53:05 +0000 (18:53 +0000)]
Update to add padding at the end of structs.

17 years agofixes to size computation.
bdemsky [Tue, 13 Jul 2004 07:05:20 +0000 (07:05 +0000)]
fixes to size computation.

17 years agoFixed arrays some more...
bdemsky [Tue, 13 Jul 2004 06:46:03 +0000 (06:46 +0000)]
Fixed arrays some more...

17 years agoimproved structure layout generation
bdemsky [Tue, 13 Jul 2004 05:02:25 +0000 (05:02 +0000)]
improved structure layout generation

17 years agoAutomatic structure extraction tool...works on binaries with dwarf-2 debug informatio...
bdemsky [Sat, 10 Jul 2004 04:29:04 +0000 (04:29 +0000)]
structure extraction tool...works on binaries with dwarf-2 debug information compiled in.

17 years agoCalculate correst size for subclass subtyping.
bdemsky [Thu, 8 Jul 2004 04:06:46 +0000 (04:06 +0000)]
Calculate correst size for subclass subtyping.

17 years agoUpdates to grammar...
bdemsky [Thu, 8 Jul 2004 03:50:19 +0000 (03:50 +0000)]
Updates to grammar...

17 years agoInvariant Value class
bdemsky [Thu, 8 Jul 2004 03:48:35 +0000 (03:48 +0000)]
Invariant Value class

17 years agoThis should make Cristian a happy person... We do the right thing if
bdemsky [Mon, 31 May 2004 15:04:59 +0000 (15:04 +0000)]
This should make Cristian a happy person...  We do the right thing if
the checkonly flag is set...

17 years ago1) Instrumentation code to count model rebuilds, etc...
bdemsky [Mon, 31 May 2004 14:19:40 +0000 (14:19 +0000)]
1) Instrumentation code to count model rebuilds, etc...

2) Don't generate code for model definition rules made to make set
constraints explicit.

3) Loop invariant hoisting.  We're not too aggressive here...

4) Mechanism to store precomputed values of exprs (for 3)

5) Improvements to Hash function - it now rehashes...

17 years agoFixed inteferes bug, improved precision of other analysis to allow
bdemsky [Wed, 19 May 2004 19:06:18 +0000 (19:06 +0000)]
Fixed inteferes bug, improved precision of other analysis to allow
specs to still work.

17 years agoWorklist items from a previous model build stay in the worklist...this causes lots...
bdemsky [Wed, 19 May 2004 05:48:34 +0000 (05:48 +0000)]
Worklist items from a previous model build stay in the worklist...this causes lots of problems.  We've added a reset method to take care of this...

17 years agoThis one is Dan's. He misparses OR's as AND's for the model definition language...
bdemsky [Wed, 19 May 2004 05:26:41 +0000 (05:26 +0000)]
This one is Dan's.  He misparses OR's as AND's for the model definition language.  Surprisingly enough, this causes the CTAS spec to have some small problems.

17 years agoBugs with generating ands and ors...ahh.
bdemsky [Tue, 18 May 2004 19:11:07 +0000 (19:11 +0000)]
Bugs with generating ands and ors...ahh.

17 years agoDebug flag bug
bdemsky [Tue, 18 May 2004 16:46:47 +0000 (16:46 +0000)]
Debug flag bug

17 years agoC interface to the instrument interface
bdemsky [Tue, 18 May 2004 16:37:34 +0000 (16:37 +0000)]
C interface to the instrument interface

17 years agoNeed {} around case statements because we define variables...C++ is lame.
bdemsky [Tue, 18 May 2004 04:37:21 +0000 (04:37 +0000)]
Need {} around case statements because we define variables...C++ is lame.

17 years agoBugs:
bdemsky [Tue, 18 May 2004 04:31:35 +0000 (04:31 +0000)]
Bugs:
1) Sources file assumed filesystem example
2) Bug where we were generating bad code for computing cheapest repair
3) Bug where we were generating if condition for typechecks when we shouldn't be.

17 years agoFreeciv spec
bdemsky [Tue, 18 May 2004 04:10:56 +0000 (04:10 +0000)]
Freeciv spec

17 years agoFilesystem benchmark
bdemsky [Tue, 18 May 2004 02:51:28 +0000 (02:51 +0000)]
Filesystem benchmark

17 years agoEnable quiet output...
bdemsky [Mon, 17 May 2004 22:04:32 +0000 (22:04 +0000)]
Enable quiet output...

17 years agogetrelation2 can return 0 in cases of a relation that maps objects to ints. This...
bdemsky [Mon, 17 May 2004 22:01:36 +0000 (22:01 +0000)]
getrelation2 can return 0 in cases of a relation that maps objects to ints.  This causes the modify update method to get called in the wrong way...Fixed the bug...

17 years agoFixed a variety of bugs...
bdemsky [Mon, 17 May 2004 21:41:38 +0000 (21:41 +0000)]
Fixed a variety of bugs...

17 years agoMore bugs...
bdemsky [Wed, 12 May 2004 21:40:03 +0000 (21:40 +0000)]
More bugs...

17 years agoMore bug fixes...and debug flags
bdemsky [Wed, 12 May 2004 19:03:33 +0000 (19:03 +0000)]
More bug fixes...and debug flags

17 years agoCode to improve search by pruning certain types of repair..
bdemsky [Tue, 11 May 2004 21:14:26 +0000 (21:14 +0000)]
Code to improve search by pruning certain types of repair..

17 years agoVarious bug fixes.
bdemsky [Tue, 11 May 2004 20:57:57 +0000 (20:57 +0000)]
Various bug fixes.

17 years agoForgot to implement this method.
bdemsky [Tue, 11 May 2004 19:33:49 +0000 (19:33 +0000)]
Forgot to implement this method.

17 years ago1) Further updates to specifications.
bdemsky [Tue, 11 May 2004 17:12:17 +0000 (17:12 +0000)]
1) Further updates to specifications.
2) Further updates to search algorith.

17 years agoImproved search....Updated filesystem model. Added -aggressivesearch option.
bdemsky [Mon, 10 May 2004 21:55:09 +0000 (21:55 +0000)]
Improved search....Updated filesystem model.  Added -aggressivesearch option.

17 years ago1) Added useDescriptor method to Expr's.
bdemsky [Sun, 9 May 2004 00:47:18 +0000 (00:47 +0000)]
1) Added useDescriptor method to Expr's.
2) Generalized analysis to determine that an update effecting a rule won't change other bindings of the same rule...

17 years agoMoved makelib
bdemsky [Thu, 6 May 2004 21:17:45 +0000 (21:17 +0000)]
Moved makelib

17 years agoMoved the interpreter
bdemsky [Thu, 6 May 2004 21:16:22 +0000 (21:16 +0000)]
Moved the interpreter

17 years agoOrganizing
bdemsky [Thu, 6 May 2004 20:59:21 +0000 (20:59 +0000)]
Organizing

17 years agoCleaning up more files
bdemsky [Thu, 6 May 2004 20:56:32 +0000 (20:56 +0000)]
Cleaning up more files

17 years agoChecking in specs
bdemsky [Thu, 6 May 2004 20:55:24 +0000 (20:55 +0000)]
Checking in specs

17 years agoMoving these
bdemsky [Thu, 6 May 2004 20:54:36 +0000 (20:54 +0000)]
Moving these

17 years agoUseless files
bdemsky [Thu, 6 May 2004 20:53:22 +0000 (20:53 +0000)]
Useless files

17 years agoThese files aren't useful.
bdemsky [Thu, 6 May 2004 20:50:17 +0000 (20:50 +0000)]
These files aren't useful.

17 years agosize.h is automatically generated
bdemsky [Thu, 6 May 2004 20:43:46 +0000 (20:43 +0000)]
size.h is automatically generated

17 years ago1) Checking in filesystem example
bdemsky [Thu, 6 May 2004 20:41:15 +0000 (20:41 +0000)]
1) Checking in filesystem example
2) Checking in code to handle Booleans/other expressions
3) Added invariants to updatenodes...

17 years agoRandom small changes...
bdemsky [Thu, 6 May 2004 06:09:55 +0000 (06:09 +0000)]
Random small changes...

17 years agoLots of bugfixes...
bdemsky [Thu, 6 May 2004 02:05:51 +0000 (02:05 +0000)]
Lots of bugfixes...

17 years agoAdded array bounds checks...
bdemsky [Fri, 30 Apr 2004 21:01:35 +0000 (21:01 +0000)]
Added array bounds checks...

17 years agoShould do array index calculations...Wonder if it works correctly?
bdemsky [Fri, 30 Apr 2004 04:28:22 +0000 (04:28 +0000)]
Should do array index calculations...Wonder if it works correctly?

17 years agoDon't need "Did you mean literal(...)?" anymore.
cristic [Thu, 29 Apr 2004 20:05:08 +0000 (20:05 +0000)]
Don't need "Did you mean literal(...)?" anymore.

17 years ago*** empty log message ***
bdemsky [Thu, 29 Apr 2004 16:32:08 +0000 (16:32 +0000)]
*** empty log message ***

17 years agoAdded improvements to ImplicitSchema analysis, bug fixes to ImplicitSchema
bdemsky [Thu, 29 Apr 2004 04:47:36 +0000 (04:47 +0000)]
Added improvements to ImplicitSchema analysis, bug fixes to ImplicitSchema
and SetAnalysis, added edges for abstract repairs.

17 years agoBug in the analysis...oops
bdemsky [Tue, 27 Apr 2004 21:33:04 +0000 (21:33 +0000)]
Bug in the analysis...oops

17 years agoAdded array analysis (computes paths used to add elements/tuples to sets/relations.
bdemsky [Tue, 27 Apr 2004 21:06:40 +0000 (21:06 +0000)]
Added array analysis (computes paths used to add elements/tuples to sets/relations.

Added a bug fix to the graphanalysis routine (must consider nodes not involved in cycles also for removal).

17 years agoAdding functionality for printing sets.
cristic [Mon, 26 Apr 2004 20:44:56 +0000 (20:44 +0000)]
Adding functionality for printing sets.

17 years agoGrammar changes made today:
cristic [Fri, 23 Apr 2004 20:22:14 +0000 (20:22 +0000)]
Grammar changes made today:

  G1. Got rid of literal(keyword) thing.  Now we can simply use the keywords true, false, etc.
  G2. Added keywords NULL=null=0
  G3. != works

17 years agoAdded code to correctly order checks...
bdemsky [Thu, 22 Apr 2004 20:55:30 +0000 (20:55 +0000)]
Added code to correctly order checks...

Added code to search through sets for bindings of size 1.

17 years agoChanges:
bdemsky [Wed, 21 Apr 2004 21:16:15 +0000 (21:16 +0000)]
Changes:
1) Cleaned up CLI/Compiler classes that Dan provided.
2) Typecheck Constraints.
3) Repair dependence analysis (to order repair of constraints)
   A) checks for functions
4) Added class to compute exact sizes of sets (and constraints which
   establish these sizes)

17 years agoUpdate:
bdemsky [Mon, 19 Apr 2004 21:48:08 +0000 (21:48 +0000)]
Update:
1. Removes some old debugging code
2. Simplifies some complex case statements
3. Uses maxsize calculations for set additions
4. Starts to support create/search new element type bindings.

17 years agoAdded code to compute maximum sizes of sets. So we can eliminate set removes
bdemsky [Sat, 17 Apr 2004 00:30:28 +0000 (00:30 +0000)]
Added code to compute maximum sizes of sets.  So we can eliminate set removes
when they aren't necessary.

17 years agoAnother bug of cristians
cristic [Fri, 16 Apr 2004 23:14:33 +0000 (23:14 +0000)]
Another bug of cristians

17 years agoFixed cristian bug
cristic [Fri, 16 Apr 2004 23:03:42 +0000 (23:03 +0000)]
Fixed cristian bug

17 years agoMore bugs fixed.
cristic [Fri, 16 Apr 2004 22:51:51 +0000 (22:51 +0000)]
More bugs fixed.

17 years agoCristian bug fixes.
bdemsky [Fri, 16 Apr 2004 21:13:37 +0000 (21:13 +0000)]
Cristian bug fixes.

17 years agoFixed some bugs in the analysis.
bdemsky [Fri, 16 Apr 2004 03:24:53 +0000 (03:24 +0000)]
Fixed some bugs in the analysis.

17 years agoAdditional enhancements to compute mustremove and cantremove sets for
bdemsky [Fri, 16 Apr 2004 00:19:44 +0000 (00:19 +0000)]
Additional enhancements to compute mustremove and cantremove sets for
node elimination.

17 years ago*** empty log message ***
cristic [Thu, 15 Apr 2004 23:01:22 +0000 (23:01 +0000)]
*** empty log message ***

17 years agoNicer semantic error messages, removed duplicates.
cristic [Thu, 15 Apr 2004 22:11:48 +0000 (22:11 +0000)]
Nicer semantic error messages, removed duplicates.

17 years agoChecking in some checks...
bdemsky [Thu, 15 Apr 2004 22:05:22 +0000 (22:05 +0000)]
Checking in some checks...

17 years agoOK, the parser now looks more decent.
cristic [Thu, 15 Apr 2004 21:18:06 +0000 (21:18 +0000)]
OK, the parser now looks more decent.
Still have to work on the semantics errors.

17 years agoAdded the name of the file to the error report.
cristic [Thu, 15 Apr 2004 20:20:48 +0000 (20:20 +0000)]
Added the name of the file to the error report.
Changed some error msgs.

17 years agoCommitting changes to leftsize->rightSize, more comments, and handling
bdemsky [Thu, 15 Apr 2004 20:05:54 +0000 (20:05 +0000)]
Committing changes to leftsize->rightSize, more comments, and handling
of MODIFYRELATION.

17 years agoStarted adding analysis for modifyrelation nodes.
bdemsky [Thu, 15 Apr 2004 05:42:07 +0000 (05:42 +0000)]
Started adding analysis for modifyrelation nodes.
Added check flag.

17 years agoBug fixes to make Cristian happy...
bdemsky [Thu, 15 Apr 2004 00:53:00 +0000 (00:53 +0000)]
Bug fixes to make Cristian happy...

17 years agoWe don't obey this constraint...
bdemsky [Wed, 14 Apr 2004 21:39:30 +0000 (21:39 +0000)]
We don't obey this constraint...

17 years agoSome modifications to allow to print the name of the file when a syntax error is...
cristic [Wed, 14 Apr 2004 21:08:30 +0000 (21:08 +0000)]
Some modifications to allow to print the name of the file when a syntax error is reported.

17 years agoThe steps necessary to run the compiler on a new set of specs.
cristic [Wed, 14 Apr 2004 19:16:27 +0000 (19:16 +0000)]
The steps necessary to run the compiler on a new set of specs.

17 years agoExample program.
bdemsky [Tue, 6 Apr 2004 20:12:45 +0000 (20:12 +0000)]
Example program.

17 years agoStrange formatting issues changed...
cristic [Tue, 6 Apr 2004 20:02:51 +0000 (20:02 +0000)]
Strange formatting issues changed...

17 years agoChecking in redblack sources
bdemsky [Tue, 6 Apr 2004 19:57:17 +0000 (19:57 +0000)]
Checking in redblack sources

17 years agoForgot this file.
cristic [Tue, 6 Apr 2004 19:49:26 +0000 (19:49 +0000)]
Forgot this file.

17 years ago...
cristic [Tue, 6 Apr 2004 19:42:05 +0000 (19:42 +0000)]
...

17 years agoMade flag work for checking only...Added support for modify relation updates.
bdemsky [Tue, 6 Apr 2004 02:48:30 +0000 (02:48 +0000)]
Made flag work for checking only...Added support for modify relation updates.

17 years agoChanged iterator behavior...It only iterates over the items in the set
bdemsky [Fri, 2 Apr 2004 19:56:07 +0000 (19:56 +0000)]
Changed iterator behavior...It only iterates over the items in the set
at the iterators creation time.

17 years agoCompute strongly connected components of model rules, and do computations the correct...
bdemsky [Fri, 2 Apr 2004 19:31:11 +0000 (19:31 +0000)]
Compute strongly connected components of model rules, and do computations the correct way...

17 years agoFixed random bugs in the runtime.
bdemsky [Fri, 2 Apr 2004 19:29:48 +0000 (19:29 +0000)]
Fixed random bugs in the runtime.

17 years agoReplaced findcycles method with something more efficient based on SCC computation.
bdemsky [Thu, 1 Apr 2004 18:45:12 +0000 (18:45 +0000)]
Replaced findcycles method with something more efficient based on SCC computation.

17 years agoAdded Strongly Connected Component support into GraphNodes.
bdemsky [Thu, 1 Apr 2004 16:23:06 +0000 (16:23 +0000)]
Added Strongly Connected Component support into GraphNodes.

17 years agoFix random errors/typos...
bdemsky [Wed, 10 Mar 2004 06:49:50 +0000 (06:49 +0000)]
Fix random errors/typos...