Tue, 10 Sep 2013 15:56:51 +0200 don't be so verbose about SMT solver failures
blanchet [Tue, 10 Sep 2013 15:56:51 +0200] rev 53500
don't be so verbose about SMT solver failures
Tue, 10 Sep 2013 14:02:49 +0200 tuned;
wenzelm [Tue, 10 Sep 2013 14:02:49 +0200] rev 53499
tuned;
Tue, 10 Sep 2013 11:57:53 +0200 more portable hash-bang;
wenzelm [Tue, 10 Sep 2013 11:57:53 +0200] rev 53498
more portable hash-bang;
Tue, 10 Sep 2013 11:46:51 +0200 tuned signature;
wenzelm [Tue, 10 Sep 2013 11:46:51 +0200] rev 53497
tuned signature;
Tue, 10 Sep 2013 00:22:12 +0200 merged
wenzelm [Tue, 10 Sep 2013 00:22:12 +0200] rev 53496
merged
Tue, 10 Sep 2013 00:18:30 +0200 tuned proofs;
wenzelm [Tue, 10 Sep 2013 00:18:30 +0200] rev 53495
tuned proofs;
Mon, 09 Sep 2013 23:11:02 +0200 tuned proofs;
wenzelm [Mon, 09 Sep 2013 23:11:02 +0200] rev 53494
tuned proofs;
Mon, 09 Sep 2013 23:55:35 +0200 make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices
blanchet [Mon, 09 Sep 2013 23:55:35 +0200] rev 53493
make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices
Mon, 09 Sep 2013 23:54:59 +0200 since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion
blanchet [Mon, 09 Sep 2013 23:54:59 +0200] rev 53492
since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion
Mon, 09 Sep 2013 23:09:37 +0200 more docs
blanchet [Mon, 09 Sep 2013 23:09:37 +0200] rev 53491
more docs
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip