| Thu, 29 Jul 2010 22:43:46 +0200 | blanchet | use "explicit_apply" in the minimizer whenever it might make a difference to prevent freak failures; | changeset | files |
| Thu, 29 Jul 2010 22:13:15 +0200 | blanchet | fix Meson's definition of first-orderness to prevent errors later on elsewhere (e.g. in Metis) | changeset | files |
| Thu, 29 Jul 2010 21:20:24 +0200 | blanchet | handle schematic vars the same way in Sledgehammer as in Metis, to avoid unreplayable proofs | changeset | files |