| Fri, 17 Sep 2010 01:59:43 +0200 |
blanchet |
update README
|
changeset |
files
|
| Fri, 17 Sep 2010 01:59:30 +0200 |
blanchet |
regenerate "metis.ML"
|
changeset |
files
|
| Fri, 17 Sep 2010 01:58:21 +0200 |
blanchet |
fix license
|
changeset |
files
|
| Fri, 17 Sep 2010 01:56:19 +0200 |
blanchet |
updated source files with Metis 2.3 (timestamp: 16 Sept. 2010)
|
changeset |
files
|
| Fri, 17 Sep 2010 01:22:01 +0200 |
blanchet |
move functions around
|
changeset |
files
|
| Fri, 17 Sep 2010 00:54:56 +0200 |
blanchet |
simplify Skolem handling;
|
changeset |
files
|
| Fri, 17 Sep 2010 00:35:19 +0200 |
blanchet |
make "subst_translation" more robust w.r.t. type instantiations like {_1234 |-> 'a}
|
changeset |
files
|
| Thu, 16 Sep 2010 17:30:29 +0200 |
blanchet |
complete refactoring of Metis along the lines of Sledgehammer
|
changeset |
files
|
| Thu, 16 Sep 2010 16:54:42 +0200 |
blanchet |
got caught once again by SML's pattern maching (ctor vs. var)
|
changeset |
files
|
| Thu, 16 Sep 2010 16:24:23 +0200 |
blanchet |
added new "Metis_Reconstruct" module, temporarily empty
|
changeset |
files
|
| Thu, 16 Sep 2010 16:12:02 +0200 |
blanchet |
rename "Metis_Clauses" to "Metis_Translate" for consistency with "Sledgehammer_Translate"
|
changeset |
files
|
| Thu, 16 Sep 2010 15:38:46 +0200 |
blanchet |
move SPASS's Flotter hack to "Sledgehammer_Reconstruct"
|
changeset |
files
|