Diffusion Isabelle e1aa703c8cce

second and last step in making time slicing more flexible in Sledgehammer: try…
e1aa703c8cce
Actions

Tags

None

Subscribers

None

Description

second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size

Details

Provenance

Authored on

Parents

rISABELLEd9bb81999d2c: first step in making time slicing more flexible in Sledgehammer: label slices…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEe1aa703c8cce: second and last step in making time slicing more flexible in Sledgehammer: try….Mar 25 2022, 1:52 PM

Changes (6)

Path

Size

src/

HOL/

Sledgehammer.thy

Tools/

Sledgehammer/

sledgehammer.ML

sledgehammer_atp_systems.ML

sledgehammer_prover.ML

sledgehammer_prover_atp.ML

sledgehammer_prover_smt.ML

rISABELLEe1aa703c8cce

src/HOL/Sledgehammer.thy

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML

Loading...