| Wed, 23 Mar 2011 08:50:40 +0100 | bulwahn | adapting Quickcheck_Prolog to latest changes | changeset | files |
| Wed, 23 Mar 2011 08:50:39 +0100 | bulwahn | changing Quickcheck_Narrowing's main function to enumerate the depth instead upto the depth | changeset | files |
| Wed, 23 Mar 2011 08:50:32 +0100 | bulwahn | adapting mutabelle; exporting more Quickcheck functions | changeset | files |
| Wed, 23 Mar 2011 08:50:31 +0100 | bulwahn | making quickcheck's result value more formal; allowing more result information to be returned after timeout; adding output of timing information in quickcheck | changeset | files |
| Wed, 23 Mar 2011 08:50:29 +0100 | bulwahn | changing timeout behaviour of quickcheck to proceed after command rather than failing; adding a test case for timeout | changeset | files |
| Sat, 26 Mar 2011 12:01:40 +0100 | wenzelm | added Syntax.const_abs_tr' with proper eta_abs and Term.is_dependent; | changeset | files |
| Sat, 26 Mar 2011 10:52:29 +0100 | wenzelm | tuned; | changeset | files |