| Wed, 28 Oct 2009 11:55:48 +0100 | blanchet | use "get_goal" rather than "flat_goal" in Auto Quickcheck, since we don't need the extra facts for counterexample generation | changeset | files |
| Tue, 27 Oct 2009 21:53:13 +0100 | blanchet | fix typo in Nitpick manual | changeset | files |
| Tue, 27 Oct 2009 19:00:17 +0100 | blanchet | optimized Nitpick's encoding and rendering of datatypes whose constructors don't appear in the problem | changeset | files |
| Tue, 27 Oct 2009 17:53:19 +0100 | blanchet | clean Nitpick's wellfoundedness cache once in a while, to avoid potential memory leak | changeset | files |