| Mon, 29 Mar 2010 17:30:46 +0200 | bulwahn | prefer recursive calls before others in the mode inference | changeset | files |
| Mon, 29 Mar 2010 17:30:45 +0200 | bulwahn | added statistics to values command for random generation | changeset | files |
| Mon, 29 Mar 2010 17:30:43 +0200 | bulwahn | adopting Predicate_Compile_Quickcheck | changeset | files |
| Mon, 29 Mar 2010 17:30:43 +0200 | bulwahn | made quickcheck generic with respect to which compilation; added random compilation to quickcheck | changeset | files |