| Tue, 14 Aug 2012 16:09:45 +0200 | blanchet | tone down "z3_tptp", now that Z3 (starting with 4.1) no longer supports TPTP TFF0 | changeset | files |
| Tue, 14 Aug 2012 15:26:45 +0200 | blanchet | fixed then-else confusion | changeset | files |
| Tue, 14 Aug 2012 15:23:28 +0200 | blanchet | tweak Vampire setup in the light of new evaluation | changeset | files |
| Tue, 14 Aug 2012 15:18:11 +0200 | blanchet | improved set of reconstructor methods | changeset | files |
| Tue, 14 Aug 2012 14:07:53 +0200 | blanchet | warn users about unused "using" facts | changeset | files |
| Tue, 14 Aug 2012 13:20:59 +0200 | blanchet | be less aggressive at kicking out chained facts | changeset | files |
| Tue, 14 Aug 2012 12:54:26 +0200 | blanchet | recognize bus errors as crash | changeset | files |
| Tue, 14 Aug 2012 12:49:42 +0200 | blanchet | consider removing chained facts last, so that they're more likely to be kept | changeset | files |