Tue, 23 Feb 2010 16:53:13 +0100 | blanchet | show Kodkod warning message even in non-verbose mode | changeset | files |
Tue, 23 Feb 2010 15:56:13 +0100 | blanchet | distinguish between Kodkodi warnings and errors in Nitpick; | changeset | files |
Tue, 23 Feb 2010 14:50:44 +0100 | blanchet | optimized multisets in Nitpick by fishing "finite" | changeset | files |