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 sure we create a reasonable large array...and avoid =0 case
Add additional functionality to Simplehash.
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...
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...
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...
Various bug fixes.
Forgot to implement this method.
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.
Fixed random bugs in the runtime.
Creating a runtime directory...