| Mon, 23 Nov 2009 13:45:16 +0100 | blanchet | fixed a Kodkod generation exception in Nitpick, reported by a Karlsruhe user | changeset | files |
| Mon, 23 Nov 2009 13:24:32 +0100 | blanchet | fixed soundness bug in Nitpick that occurred because unrolled predicate iterators were considered to be a "precise" type | changeset | files |
| Mon, 23 Nov 2009 13:23:39 +0100 | blanchet | improved annotated type of equality in Nitpick's monotonicity check, based on a discovery by Alex | changeset | files |
| Mon, 23 Nov 2009 13:22:40 +0100 | blanchet | fixed error in Nitpick's "star_linear_preds" optimization, which resulted in an ill-typed term; | changeset | files |