| 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 |
| Tue, 27 Oct 2009 16:52:06 +0100 | blanchet | renamed Nitpick option "coalesce_type_vars" to "merge_type_vars" (shorter) and cleaned up old hacks that are no longer necessary | changeset | files |
| Tue, 10 Nov 2009 18:29:07 +0100 | wenzelm | eliminated some old uses of cumulative prems (!) in proof methods; | changeset | files |