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.

...

Made flag work for checking only...Added support for modify relation updates.

Changed iterator behavior...It only iterates over the items in the set
at the iterators creation time.

Compute strongly connected components of model rules, and do computations the correct way...

Fixed random bugs in the runtime.

Replaced findcycles method with something more efficient based on SCC computation.

Added Strongly Connected Component support into GraphNodes.

Fix random errors/typos...

Added:
Concrete Interference rule that falsify a rule that quantifies over a set can't
remove the last element of the set.

Concrete Interference rule that updates that definitely falsify a rule can't modify
the inclusion condition causing a possible addition.

Intelligence in the GraphAnalysis package that computes must & cant remove sets.
Search through only unique combinations.

Added support for stack allocation.  Check for NULL before calling memory checker.

Added support for stack allocation...

Still buggy, but getting closer...

Added:

3 value logic for Expr's...This will break dan's stuff, but arguably
it is the first step in fixing his stuff...

Runtime support for checking type sanity/etc...

Runtime for checker...

Mistake in interface assumptions...

*** empty log message ***

Creating a runtime directory...

Dan was leaking memory via iterators...  This leak is fixed now (stack allocation of iterators).

Checking in super-optimized SimpleHash code...  Good for a little performance increase...

Checking in update to hashtable code...

Adding test case & bug fixes to generate code for test case...

Fixed Dan's confusion regarding alignment of fields.  Modified the
OpExpr class to support more operations, and to actually perform the
operations when possible.  (I like readable code!)

Wrote code to write to data structures...Should be the last major
component..

Checking in code that:
1) performs consistency checks
2) doesn abstract repairs
3) calls/schedules data structure updates
4) partially data structure update code

Updating files...

New runtime for repair system.

These checking do the reconstruction of the model and invoke concrete repairs.

Adding code to generate repair algorithms.  Its not complete yet...
This checkin sets defaults to repair...

Checking in code to perform safety checks on repair dependency graph.

Added support to printout data structure update nodes (bindings/updates)
Added support to simplify updates/determine if they are self consistent
Added support to sequence updates
Improved precision of data structure update analysis

Adding changes to cvs...

Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn't allow for relation quantifier in constraints, and my bugs.

Fixed lot of random bugs.  Added code generate strings for expr's.
More code to generate concrete updates.  Initial code for computing
interference....

More changes

Random typos.

Still adding code to construct termination graph, abstract repair actions, concrete repair actions, edge, etc...

Adding files

updates

Grammar updates, etc...

Updates

heh

missing files

optimized works

worklist version

before paper

test

changes for benchmark

sizeofpredi

typesafe

model and checks

fixed problems with CDL.cup

fixed problems with CDL.cup

IR

MCC files

runtime

javacup adding

adding jlex