Mon, 31 Jan 2022 13:07:32 +0100 compile mirabelle draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75487
compile mirabelle
Mon, 31 Jan 2022 13:07:32 +0100 tweaked Auto Sledgehammer's behavior and output draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75486
tweaked Auto Sledgehammer's behavior and output
Mon, 31 Jan 2022 13:07:32 +0100 updated NEWS draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75485
updated NEWS
Mon, 31 Jan 2022 13:07:32 +0100 removed experimental prover z3_tptp draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75484
removed experimental prover z3_tptp
Mon, 31 Jan 2022 13:07:32 +0100 print more verbose information draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75483
print more verbose information
Mon, 31 Jan 2022 13:07:32 +0100 run all installed provers by default draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75482
run all installed provers by default
Mon, 31 Jan 2022 13:07:32 +0100 update slice options centrally draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75481
update slice options centrally
Mon, 31 Jan 2022 13:07:32 +0100 further work on new Sledgehammer slicing draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75480
further work on new Sledgehammer slicing
Mon, 31 Jan 2022 13:07:32 +0100 tweaked verbose output draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75479
tweaked verbose output
Mon, 31 Jan 2022 13:07:32 +0100 tweak padding of prover slice schedule to include all provers draft
blanchet [Mon, 31 Jan 2022 13:07:32 +0100] rev 75478
tweak padding of prover slice schedule to include all provers
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip