Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | added MaSh to news | changeset | files |
Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | cached ancestor computation | changeset | files |
Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | minimal maxes + tuning | changeset | files |
Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | learn from SMT proofs when they can be minimized by Metis | changeset | files |
Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | clean up interesting constants a bit | changeset | files |
Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | convenience | changeset | files |
Fri, 20 Jul 2012 22:19:46 +0200 | blanchet | name tuning | changeset | files |