Tue, 31 May 2011 16:38:36 +0200 | blanchet | use ":" for type information (looks good in Metis's output) and handle it in new path finder | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | tuned name | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | make "prepare_atp_problem" more robust w.r.t. choice of type system | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | proper handling of type variable classes in new Metis | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | don't preprocess twice | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | tuning | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | more work on new metis that exploits the powerful new type encodings | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | tuning | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | first step in sharing more code between ATP and Metis translation | file | diff | annotate | base |