| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | adapted predicate compiler for quickcheck generators; added compilation of depth-limited search functions for predicates | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | extended mode inference by adding generators; adopted compilation; added some functions for constructing term closures | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | imported patch changed mode inference of predicate compiler to return infered dataflow | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | imported patch generic compilation of predicate compiler with different monads | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | exported functions for quickcheck generator; renamed type constructing functions to fit with the type name in the Predicate theory | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | removed debug messages; exported to_pred in InductiveSet; added further display function; adjusted mode analysis | changeset | files |