| Tue, 24 Jun 2014 08:19:56 +0200 | blanchet | phantoms may also occur in THF1 | changeset | files |
| Tue, 24 Jun 2014 08:19:55 +0200 | blanchet | added experimental MaSh engine | changeset | files |
| Tue, 24 Jun 2014 08:19:55 +0200 | blanchet | move method silencing code closer to the methods it is trying to silence, to reduce bad side-effects | changeset | files |
| Tue, 24 Jun 2014 08:19:54 +0200 | blanchet | help reconstruction of Z3 skolemization by weakening formulas a bit | changeset | files |
| Tue, 24 Jun 2014 08:19:22 +0200 | blanchet | supports gradual skolemization (cf. Z3) by threading context through correctly | changeset | files |
| Tue, 24 Jun 2014 08:19:22 +0200 | blanchet | given two one-liners, only show the best of the two | changeset | files |