| Tue, 23 Feb 2010 12:14:29 +0100 | blanchet | improved precision of small sets in Nitpick | file | diff | annotate |
| Tue, 23 Feb 2010 10:02:14 +0100 | blanchet | catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example | file | diff | annotate |
| Mon, 22 Feb 2010 19:31:00 +0100 | blanchet | enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit | file | diff | annotate |