| Tue, 18 Dec 2012 02:18:45 +0100 | blanchet | catch all parsing errors | changeset | files |
| Tue, 18 Dec 2012 00:17:37 +0100 | blanchet | no need for tracing | changeset | files |
| Mon, 17 Dec 2012 22:09:48 +0100 | blanchet | updated MaSh serialization number (to reflect new weights) | changeset | files |
| Mon, 17 Dec 2012 22:06:28 +0100 | blanchet | synchronize access to shared reference and print proper total | changeset | files |
| Mon, 17 Dec 2012 22:06:28 +0100 | blanchet | add a timeout in induction rule instantiation | changeset | files |
| Mon, 17 Dec 2012 22:06:28 +0100 | blanchet | contain exponential explosion of term patterns | changeset | files |
| Mon, 17 Dec 2012 22:06:28 +0100 | blanchet | tuned weights -- keep same relative values, but use 1.0 as the least weight | changeset | files |