| Mon, 28 Jun 2010 18:08:36 +0200 | blanchet | killed "expand_defs_tac"; | changeset | files |
| Mon, 28 Jun 2010 18:02:36 +0200 | blanchet | get rid of Skolem cache by performing CNF-conversion after fact selection | changeset | files |
| Mon, 28 Jun 2010 17:32:28 +0200 | blanchet | always perform "inline" skolemization, polymorphism or not, Skolem cache or not | changeset | files |
| Mon, 28 Jun 2010 17:31:38 +0200 | blanchet | always perform relevance filtering on original formulas | changeset | files |
| Tue, 29 Jun 2010 11:25:30 +0200 | haftmann | merged | changeset | files |
| Tue, 29 Jun 2010 11:25:25 +0200 | haftmann | split off predicate compiler into separate theory | changeset | files |
| Tue, 29 Jun 2010 11:25:04 +0200 | haftmann | split off predicate compiler into separate theory | changeset | files |