| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | fixed MaSh state load code so it works even if the facts are read in disorder | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | learn from minimized ATP proofs | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | improved meshing of MaSh and Meng--Paulson if some MaSh suggestions are cut-off (the common case) | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | use async manager to manage MaSh learners to make sure they get killed cleanly | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | more consolidation of MaSh code | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | removed lie | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | drastic overhaul of MaSh data structures + fixed a few performance issues | changeset | files |