| 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 |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | compile | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | change var name as a workaround for rare issue in Metis's reconstruction code -- namely, "find_var" fails because "X = X" is wrongly mirrorred as "A = A" | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | marked "metisF" as legacy -- nobody uses it or needs it | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | more preparations towards hijacking Metis | changeset | files |
| Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | remove more occurrences of "metisX", preparing for the D Day when it will silently hijack "metis" and "metisFT" | changeset | files |