| Wed, 18 Jul 2012 13:43:36 +0200 | wenzelm | added parser for Session_Info; | changeset | files |
| Wed, 18 Jul 2012 08:44:05 +0200 | blanchet | repair MaSh exporter | changeset | files |
| Wed, 18 Jul 2012 08:44:05 +0200 | blanchet | optimize parent computation in MaSh + remove temporary files | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | make the monomorphizer more predictable by making the cutoff independent on the number of facts | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | speed up MaSh queries | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | use better score function, based on previous evaluation (cf. Deduct 2011 slides) | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | attempt at meshing according to more meaningful factors | changeset | files |