Mon, 08 Nov 2010 14:41:11 +0100 | wenzelm | merged | changeset | files |
Mon, 08 Nov 2010 14:33:54 +0100 | blanchet | merge | changeset | files |
Mon, 08 Nov 2010 14:33:30 +0100 | blanchet | reduce the number of monomorphization iterations from 10 (the default) to 4, in the interest of faster SMT solving | changeset | files |