return reasonable error codes

Hacks to allow repairs of fields used to define layouts of arrays.

New option -printrepair added.  Prints updates to data structures.

2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.

2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.

don't call the typemap with value 0

fix typo.

stupid bugs in our realloc function fixed

fix generation of graph files

Added minimum size analysis.
Improved safe check in DotExpr.
Changed naming scheme in dumpstructures.
Fixed bug in must/cant node analysis

Quantifier bugs.

Quantifiers use relations!!!

Small changes to allow:
empty structure definitions
better debugging support

Name typedefs

Rewrote safetransclosure method so its obvious it is correct.

Small improvement.

Fixed transitive closure computation.

Added more comments.  Fixed some bugs.

Make merging nodes an option.

Make merging nodes an option.

Options to print prettier graphs...

Committing pretty printer fix.

update readme

add simple file benchmark for users.

1) Fixed some bugs in the redblack tree implementation...removing a non-present node resulted in a segfault.

2) Fixed bug in constructbindings method.

Fixed some bugs...

Forgot to do the replacement

Adding Daikon related stuff.

Added support for dynamically allocated arrays.

Updates to check in.

Improved termination analysis so that daikon generated specifications won't have problems.

Some embarrassing erros.  The DNF conversion for negation wasn't
working quite right.  Printing negation a little more clearly.  Fixed
a problem with the termination analysis (it was too conservative).

Fix grammar and Sum bug.

Generalize definition of SumExpr a little...Lets sum all elements of
the set S.R...

Brian

Fixed a memory leak in the runtime...Print neater text.

bug..forgot to return value

Various bug fixes related to the C switch.

Accidentally checked this file in...removing it now.

Completed support for generating C code.

Checking in changes that:
1) Generate C99 code instead of C++ code.  The code should still work with a C++ compiler.
2) PrintWrapper class to enable putting declarations at top of
functions so we can make old versions of gcc work.

revert runtime file.

Revert changes.

Accidentally checked in code.

Checking in C runtime.

New C Runtime.

Generate code to compute the sum.

Bug fix for adding tuples of integers to a relation.

Bug fixes for parsing sum expressions.

Adding support for sum expressions.

Had a bug in our implementation.  If the list empties when the tail is at the last position in a ListNode, the tail gets zeroed.  This should never happen.

Want to zero next "next" pointer, not the one we just wrote.

Make recursion a command line option.

Hack grammar to add unary minus.

Checking in various changes...

Bug in the freeciv spec.

Bug with time instrumentation code.

Change to the spec...missed a consistency property.  Adding timing option.

Oops..need a cast here.

oops...freeVars can return null.

Record that we allocated a new object.

Oops...forgot the grammar changes...

Make sure we create a reasonable large array...and avoid =0 case

Improve precision of interference analysis.  Allow sizeof(v.r1.r2) expressions.

Abiword specification

Add additional functionality to Simplehash.

Update virtual pointers for C++ code...Various fixes to emit extern declarations.

Adding the -cplusplus option.  This option writes virual table pointers into allocated objects.

Improved precision of computation of maximum set sizes. Removed generation of
redundant rules by implicitschema.

Fixed some analysis problems...

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