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 |
Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | tuned proof procedure; added size-limiting predicate compilation of higher order predicates; added guessing of number parameters for registrating predicates; removed debug messages | changeset | files |
Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | changed resolving depending predicates and fetching in the predicate compiler | changeset | files |
Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | refactoring predicate compiler; repaired proof procedure to handle all test cases | changeset | files |