Mon, 06 Jun 2011 21:02:24 +0200 | blanchet | updated Sledgehammer message | changeset | files |
Mon, 06 Jun 2011 20:56:06 +0200 | blanchet | removed old optimization that isn't one anyone | changeset | files |
Mon, 06 Jun 2011 20:56:06 +0200 | blanchet | generate less type information in polymorphic case | changeset | files |
Mon, 06 Jun 2011 20:56:06 +0200 | blanchet | Metis code cleanup | changeset | files |
Mon, 06 Jun 2011 20:36:36 +0200 | blanchet | enable new Metis | changeset | files |
Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | made "explicit_apply"'s smart mode (more) complete | changeset | files |
Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | fall back in case path finder fails -- these errors are sometimes salvageable | changeset | files |