Wed, 28 Oct 2009 18:09:30 +0100 | blanchet | merged my Auto Nitpick change with Lukas's Predicate Compiler changes | changeset | files |
Wed, 28 Oct 2009 17:43:43 +0100 | blanchet | introduced Auto Nitpick in addition to Auto Quickcheck; | changeset | files |
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 |