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 |