Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
2022-01-31 update slice options centrally
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75035
update slice options centrally
2022-01-31 further work on new Sledgehammer slicing
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75034
further work on new Sledgehammer slicing
2022-01-31 tweaked verbose output
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75033
tweaked verbose output
2022-01-31 tweak padding of prover slice schedule to include all provers
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75032
tweak padding of prover slice schedule to include all provers
2022-01-31 implemented 'max_proofs' mechanism
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75031
implemented 'max_proofs' mechanism
2022-01-31 document new option 'max_proofs'
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75030
document new option 'max_proofs'
2022-01-31 crude implementation of centralized slicing
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75029
crude implementation of centralized slicing
2022-01-31 removed obscure E option
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75028
removed obscure E option
2022-01-31 take 'induction_rules' into consideration, as well as 'max_facts' even when 'only' is set
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75027
take 'induction_rules' into consideration, as well as 'max_facts' even when 'only' is set
2022-01-31 rationalize slicing format
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75026
rationalize slicing format
2022-01-31 thread slices through
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75025
thread slices through
2022-01-31 simplified 'best_slice' data structure and made minor changes to slices
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75024
simplified 'best_slice' data structure and made minor changes to slices
2022-01-31 changed logic of 'slice' option to 'slices'
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75023
changed logic of 'slice' option to 'slices'
2022-01-31 updated documentation of 'slice' (now 'slices') option
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75022
updated documentation of 'slice' (now 'slices') option
2022-01-31 revised Sledgehammer documentation
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75021
revised Sledgehammer documentation
2022-01-31 rationalized output for forthcoming slicing model
changeset
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75020
rationalized output for forthcoming slicing model
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 tip
isabelle