| Tue, 04 Aug 2009 08:45:03 +0200 | bulwahn | removing tracing messages in predicate compiler | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | improved use of context with cases rule in predicate compiler; predicate compiler based on Main for faster debugging | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | commented rpred compilation; tuned | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | added generator compilation of higher-order predicates; refined mode analysis for generators; some tuning | changeset | files |