| Tue, 27 Jul 2010 19:17:15 +0200 |
blanchet |
standardize "Author" tags
|
file |
diff |
annotate
|
| Tue, 27 Jul 2010 17:15:12 +0200 |
blanchet |
get rid of more dead wood
|
file |
diff |
annotate
|
| Tue, 29 Jun 2010 10:56:45 +0200 |
blanchet |
Sledgehammer can save some msecs by cheating
|
file |
diff |
annotate
|
| Mon, 28 Jun 2010 18:08:36 +0200 |
blanchet |
killed "expand_defs_tac";
|
file |
diff |
annotate
|
| Mon, 28 Jun 2010 18:02:36 +0200 |
blanchet |
get rid of Skolem cache by performing CNF-conversion after fact selection
|
file |
diff |
annotate
|
| Fri, 25 Jun 2010 17:08:39 +0200 |
blanchet |
renamed "Sledgehammer_FOL_Clauses" to "Metis_Clauses", so that Metis doesn't depend on Sledgehammer
|
file |
diff |
annotate
|
| Fri, 25 Jun 2010 16:15:03 +0200 |
blanchet |
renamed "Sledgehammer_Fact_Preprocessor" to "Clausifier";
|
file |
diff |
annotate
|
| Tue, 22 Jun 2010 14:28:22 +0200 |
blanchet |
removed Sledgehammer's support for the DFG syntax;
|
file |
diff |
annotate
|
| Fri, 19 Mar 2010 13:02:18 +0100 |
blanchet |
more Sledgehammer refactoring
|
file |
diff |
annotate
|