| Tue, 09 Feb 2010 16:05:49 +0100 | blanchet | make Quickcheck identify itself, so people don't submit bug reports to me thinking that it was Nitpick | changeset | files |
| Fri, 05 Feb 2010 14:27:21 +0100 | blanchet | added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability | changeset | files |
| Fri, 05 Feb 2010 12:04:54 +0100 | blanchet | handle Nitpick's nonstandard model enumeration in a cleaner way; | changeset | files |
| Fri, 05 Feb 2010 11:24:53 +0100 | blanchet | proper quoting of file paths when invoking Kodkodi from Nitpick | changeset | files |