| Fri, 20 Jul 2012 22:19:45 +0200 | blanchet | tuning | file | diff | annotate |
| Wed, 18 Jul 2012 08:44:03 +0200 | blanchet | more implementation work on MaSh | file | diff | annotate |
| Wed, 18 Jul 2012 08:44:03 +0200 | blanchet | started implementing MaSh client-side I/O | file | diff | annotate |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate Meng--Paulson facts for evaluation purposes | file | diff | annotate |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | instantiate induction rules | file | diff | annotate |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | moved MaSh into own files | file | diff | annotate |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate lambdas and skolems again | file | diff | annotate |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate theory name as a feature | file | diff | annotate |
| Mon, 09 Jul 2012 23:58:05 +0200 | blanchet | compile | file | diff | annotate |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | cleanup | file | diff | annotate |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | more precise dependencies -- eliminate tautologies | file | diff | annotate |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | generate problem file | file | diff | annotate |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | first go at generating files for MaSh (machine-learning Sledgehammer) | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:40 +0200 | blanchet | compile | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:40 +0200 | blanchet | more work on DFG type classes | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:39 +0200 | blanchet | removed support for unsorted DFG, now that SPASS 3.7 is no longer supported | file | diff | annotate |
| Mon, 06 Feb 2012 23:01:01 +0100 | blanchet | renamed type encoding | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | file | diff | annotate | base |