| Fri, 15 Feb 2013 09:59:46 +0100 | Andreas Lochbihler | merged | changeset | files |
| Fri, 15 Feb 2013 09:41:25 +0100 | Andreas Lochbihler | partially revert 0dac0158b8d4 as it too aggressively spreads card_UNIV type class whose dictionary constructions can slow down generated code; | changeset | files |
| Fri, 15 Feb 2013 09:17:26 +0100 | blanchet | killed legacy alias | changeset | files |
| Fri, 15 Feb 2013 09:17:20 +0100 | blanchet | updated news | changeset | files |
| Fri, 15 Feb 2013 09:17:20 +0100 | blanchet | avoid crude/wrong theorem comparision | changeset | files |
| Fri, 15 Feb 2013 09:17:20 +0100 | blanchet | tuned code | changeset | files |
| Fri, 15 Feb 2013 09:17:20 +0100 | blanchet | more MaSh tracing | changeset | files |
| Fri, 15 Feb 2013 09:17:20 +0100 | blanchet | tuning | changeset | files |
| Thu, 14 Feb 2013 23:54:46 +0100 | smolkas | fixed metis_steps_total - was off by one | changeset | files |
| Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | preplay subblocks | changeset | files |
| Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | renamed sledgehammer_shrink to sledgehammer_compress | changeset | files |
| Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | dont skolemize conjecture | changeset | files |