Diffusion Isabelle 2d9e40cfe9af

temporary workaround for 100% CPU usage in OS.Process.sleep;
2d9e40cfe9af
Actions

Tags

None

Subscribers

None

Description

temporary workaround for 100% CPU usage in OS.Process.sleep;

Details

Provenance

Authored on

Parents

rISABELLE3546dd4ade74: ML statistics via external process: allows monitoring RTS while ML program…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2d9e40cfe9af: temporary workaround for 100% CPU usage in OS.Process.sleep;.Aug 7 2020, 8:28 PM

Changes (2)

Path

Size

src/

Pure/

ML/

ml_statistics.ML

rISABELLE2d9e40cfe9af

src/Pure/ML/ml_init.ML

Loading...

src/Pure/ML/ml_statistics.ML

Loading...