blanchet [Mon, 06 Jun 2011 20:56:06 +0200] rev 43214
removed old optimization that isn't one anyone
blanchet [Mon, 06 Jun 2011 20:56:06 +0200] rev 43213
generate less type information in polymorphic case
blanchet [Mon, 06 Jun 2011 20:56:06 +0200] rev 43212
Metis code cleanup
blanchet [Mon, 06 Jun 2011 20:36:36 +0200] rev 43211
enable new Metis
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43210
made "explicit_apply"'s smart mode (more) complete
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43209
fall back in case path finder fails -- these errors are sometimes salvageable
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43208
compile
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43207
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"
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43206
marked "metisF" as legacy -- nobody uses it or needs it
blanchet [Mon, 06 Jun 2011 20:36:35 +0200] rev 43205
more preparations towards hijacking Metis