| Tue, 09 Mar 2010 09:25:23 +0100 | blanchet | added "finitize" option to Nitpick + remove dependency on "Coinductive_List" | file | diff | annotate |
| 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 |
| Wed, 17 Feb 2010 12:14:08 +0100 | blanchet | added yet another hint to Nitpick's output, this time warning about problems for which nothing was effectively tested | file | diff | annotate |
| Sat, 13 Feb 2010 15:04:09 +0100 | blanchet | more work on Nitpick's support for nonstandard models + fix in model reconstruction | file | diff | annotate |