Diffusion Isabelle a40e69fde2b4

clarified smt: support Timeout.ignored and Timeout.scale_time;
a40e69fde2b4
Actions

Tags

None

Subscribers

None

Description

clarified smt: support Timeout.ignored and Timeout.scale_time;

Details

Provenance

Authored on

Parents

rISABELLE3b5196dac4c8: clarified timeouts in Isabelle/ML;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa40e69fde2b4: clarified smt: support Timeout.ignored and Timeout.scale_time;.Mar 5 2021, 8:38 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

SMT/

Pure/

Concurrent/

rISABELLEa40e69fde2b4

src/HOL/Tools/SMT/smt_config.ML

Loading...

src/HOL/Tools/SMT/smt_systems.ML

Loading...

src/Pure/Concurrent/timeout.ML

Loading...