| Wed, 12 Dec 2012 13:28:23 +0100 | blanchet | really all facts means really all facts (well, almost) | changeset | files |
| Wed, 12 Dec 2012 13:28:01 +0100 | blanchet | tuning | changeset | files |
| Wed, 12 Dec 2012 11:56:07 +0100 | blanchet | use modern SAT solvers with modern Kodkod versions | changeset | files |
| Wed, 12 Dec 2012 11:18:06 +0100 | blanchet | got rid of support for Kodkodi < 1.2.14 | changeset | files |
| Wed, 12 Dec 2012 03:47:02 +0100 | blanchet | made MaSh evaluation driver work with SMT solvers | changeset | files |
| Wed, 12 Dec 2012 02:47:45 +0100 | blanchet | merge aliased theorems in MaSh dependencies, modulo symmetry of equality | changeset | files |
| Wed, 12 Dec 2012 00:24:06 +0100 | blanchet | adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers) | changeset | files |