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

blah

Adding c files for repair system.

Created directory structure