Diffusion Isabelle 9d1b5c0bdec8

more direct elapsed run_time via bash_process wrapper (via Scala and C);
9d1b5c0bdec8
Actions

Tags

None

Subscribers

None

Description

more direct elapsed run_time via bash_process wrapper (via Scala and C);

Details

Provenance

Authored on

Parents

rISABELLE97bb6ef3dbd4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9d1b5c0bdec8: more direct elapsed run_time via bash_process wrapper (via Scala and C);.Mar 13 2021, 7:29 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_prover_atp.ML

rISABELLE9d1b5c0bdec8

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...