Removing various deprecated pieces of code...Fixed some fault checks in AbstractInteferes.

More fixes

...

Fixed some errors in the Repair Generator code.

Updates to allow discovering of partial functions

Updates to allow repairing backpointers.

Updating size computation class.`

Added new file.

Bug fix...

Add updates...

Update to analysis.

Added needed comments, reorganized some code...

Simplify logic

Adding readme files

Remove old file

remove obselete file

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.

Remove two files that were never actually used.

Allows creation of subgraphs of the dependency graph for debugging purposes.

More checkins...

Changes:
1) structextract escapes '.' in fieldnames...(internal pointers were causing problems)

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

Allow list of important structs

Update to add padding at the end of structs.

fixes to size computation.

Fixed arrays some more...

improved structure layout generation

structure extraction tool...works on binaries with dwarf-2 debug information compiled in.

Calculate correst size for subclass subtyping.

Updates to grammar...

Invariant Value class

This should make Cristian a happy person...  We do the right thing if
the checkonly flag is set...

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...

Fixed inteferes bug, improved precision of other analysis to allow
specs to still work.

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...

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.

Bugs with generating ands and ors...ahh.

Debug flag bug

C interface to the instrument interface

Need {} around case statements because we define variables...C++ is lame.

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.

Freeciv spec

Filesystem benchmark

Enable quiet output...

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...

Fixed a variety of bugs...

More bugs...

More bug fixes...and debug flags

Code to improve search by pruning certain types of repair..

Various bug fixes.

Forgot to implement this method.

1) Further updates to specifications.
2) Further updates to search algorith.

Improved search....Updated filesystem model.  Added -aggressivesearch option.

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...

Moved makelib

Moved the interpreter

Organizing

Cleaning up more files

Checking in specs

Moving these

Useless files

These files aren't useful.

size.h is automatically generated

1) Checking in filesystem example
2) Checking in code to handle Booleans/other expressions
3) Added invariants to updatenodes...

Random small changes...

Lots of bugfixes...

Added array bounds checks...

Should do array index calculations...Wonder if it works correctly?

Don't need "Did you mean literal(...)?" anymore.

*** empty log message ***

Added improvements to ImplicitSchema analysis, bug fixes to ImplicitSchema
and SetAnalysis, added edges for abstract repairs.

Bug in the analysis...oops

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).

Adding functionality for printing sets.

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

Added code to correctly order checks...

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

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)

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.

Added code to compute maximum sizes of sets.  So we can eliminate set removes
when they aren't necessary.

Another bug of cristians

Fixed cristian bug

More bugs fixed.

Cristian bug fixes.

Fixed some bugs in the analysis.

Additional enhancements to compute mustremove and cantremove sets for
node elimination.

*** empty log message ***

Nicer semantic error messages, removed duplicates.

Checking in some checks...

OK, the parser now looks more decent.
Still have to work on the semantics errors.

Added the name of the file to the error report.
Changed some error msgs.

Committing changes to leftsize->rightSize, more comments, and handling
of MODIFYRELATION.

Started adding analysis for modifyrelation nodes.
Added check flag.

Bug fixes to make Cristian happy...

We don't obey this constraint...

Some modifications to allow to print the name of the file when a syntax error is reported.

The steps necessary to run the compiler on a new set of specs.

Example program.

Strange formatting issues changed...

Checking in redblack sources

Forgot this file.

...