Fri, 28 Jan 2022 17:01:00 +0100 update slice options centrally draft
blanchet [Fri, 28 Jan 2022 17:01:00 +0100] rev 75450
update slice options centrally
Fri, 28 Jan 2022 16:32:33 +0100 further work on new Sledgehammer slicing draft
blanchet [Fri, 28 Jan 2022 16:32:33 +0100] rev 75449
further work on new Sledgehammer slicing
Fri, 28 Jan 2022 15:23:40 +0100 tweaked verbose output draft
blanchet [Fri, 28 Jan 2022 15:23:40 +0100] rev 75448
tweaked verbose output
Fri, 28 Jan 2022 15:01:26 +0100 tweak padding of prover slice schedule to include all provers draft
blanchet [Fri, 28 Jan 2022 15:01:26 +0100] rev 75447
tweak padding of prover slice schedule to include all provers
Fri, 28 Jan 2022 14:47:10 +0100 implemented 'max_proofs' mechanism draft
blanchet [Fri, 28 Jan 2022 14:47:10 +0100] rev 75446
implemented 'max_proofs' mechanism
Fri, 28 Jan 2022 14:04:43 +0100 document new option 'max_proofs' draft
blanchet [Fri, 28 Jan 2022 14:04:43 +0100] rev 75445
document new option 'max_proofs'
Fri, 28 Jan 2022 13:41:05 +0100 crude implementation of centralized slicing draft
blanchet [Fri, 28 Jan 2022 13:41:05 +0100] rev 75444
crude implementation of centralized slicing
Fri, 28 Jan 2022 10:47:32 +0100 removed obscure E option draft
blanchet [Fri, 28 Jan 2022 10:47:32 +0100] rev 75443
removed obscure E option
Fri, 28 Jan 2022 10:27:01 +0100 take 'induction_rules' into consideration, as well as 'max_facts' even when 'only' is set draft
blanchet [Fri, 28 Jan 2022 10:27:01 +0100] rev 75442
take 'induction_rules' into consideration, as well as 'max_facts' even when 'only' is set
Thu, 27 Jan 2022 17:41:01 +0100 rationalize slicing format draft
blanchet [Thu, 27 Jan 2022 17:41:01 +0100] rev 75441
rationalize slicing format
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip