| 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 |
| Mon, 29 Mar 2010 17:30:41 +0200 | bulwahn | removed yieldn in Lazy_Sequence and put in the ML structure; corrects behaviour of values command | changeset | files |
| Mon, 29 Mar 2010 17:30:40 +0200 | bulwahn | adding a hook for experiments in the predicate compilation process | changeset | files |
| Mon, 29 Mar 2010 17:30:40 +0200 | bulwahn | removing simple equalities in introduction rules in the predicate compiler | changeset | files |