Thu, 27 Aug 2009 15:49:45 +0100 More streamlining using metis.
paulson [Thu, 27 Aug 2009 15:49:45 +0100] rev 32527
More streamlining using metis.
Mon, 07 Sep 2009 08:32:22 +0200 enabled metis permanently, tuned stats
nipkow [Mon, 07 Sep 2009 08:32:22 +0200] rev 32526
enabled metis permanently, tuned stats
Sat, 05 Sep 2009 22:01:31 +0200 added signature ATP_MINIMAL,
boehmes [Sat, 05 Sep 2009 22:01:31 +0200] rev 32525
added signature ATP_MINIMAL, fixed AtpMinimal.minimalize for the trivial case, Mirabelle: added an option to minimize a theorem set found by sledgehammer, use timeout of sledgehammer instead of additional timeLimit
Sat, 05 Sep 2009 17:35:05 +0200 merged
boehmes [Sat, 05 Sep 2009 17:35:05 +0200] rev 32524
merged
Sat, 05 Sep 2009 17:34:30 +0200 separate output of ATP user time and sledgehammer (ML code) user time
boehmes [Sat, 05 Sep 2009 17:34:30 +0200] rev 32523
separate output of ATP user time and sledgehammer (ML code) user time
Sat, 05 Sep 2009 15:46:52 +0200 Mirabelle: command-line action options may either be key=value or just key
boehmes [Sat, 05 Sep 2009 15:46:52 +0200] rev 32522
Mirabelle: command-line action options may either be key=value or just key
Sat, 05 Sep 2009 11:45:57 +0200 added initialization and cleanup of actions,
boehmes [Sat, 05 Sep 2009 11:45:57 +0200] rev 32521
added initialization and cleanup of actions, added option to suppress Isabelle output, sledgehammer action produces its own report (no need for additional perl script)
Fri, 04 Sep 2009 15:19:51 +0200 merged
haftmann [Fri, 04 Sep 2009 15:19:51 +0200] rev 32520
merged
Fri, 04 Sep 2009 15:18:35 +0200 tuned metis proofs
haftmann [Fri, 04 Sep 2009 15:18:35 +0200] rev 32519
tuned metis proofs
Fri, 04 Sep 2009 13:57:56 +0200 tuned
boehmes [Fri, 04 Sep 2009 13:57:56 +0200] rev 32518
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip