Tue, 09 Apr 2013 15:19:14 +0200 |
blanchet |
reverted accidental changes to theory file + updated wrt ML file
|
file |
diff |
annotate
|
Tue, 09 Apr 2013 15:19:14 +0200 |
blanchet |
work on CASC LTB ISA exporter
|
file |
diff |
annotate
|
Tue, 09 Apr 2013 15:19:14 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
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
|