Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | honor "metisFT" in Mirabelle | changeset | files |
Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | make "full_types" take precedence over "type_sys" | changeset | files |
Wed, 15 Dec 2010 11:26:29 +0100 | blanchet | crank up Metis's timeout for SMT solvers, since users love Metis | changeset | files |