| Mon, 23 Nov 2009 15:05:59 +0100 | krauss | eliminated dead code and some unused bindings, reported by polyml | changeset | files |
| 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 |