Thu, 29 Jul 2010 23:37:10 +0200 | blanchet | fix Mirabelle timeout | changeset | files |
Thu, 29 Jul 2010 23:24:07 +0200 | blanchet | make Mirabelle happy | changeset | files |
Thu, 29 Jul 2010 23:11:35 +0200 | blanchet | fix bug in the newly introduced "bound concealing" code | changeset | files |
Thu, 29 Jul 2010 22:57:36 +0200 | blanchet | handle division by zero gracefully (used to raise Unordered later on) | changeset | files |
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 |