HomeIsabelle/Phabricator
ML statistics via an external Poly/ML process

System

  • ML statistics via an external Poly/ML process: this allows monitoring the runtime system while the ML program sleeps.

This refers to Isabelle/2831933195ef.

Written by makarius on Aug 7 2020, 11:33 PM.
User
Projects
None
Subscribers
None

Event Timeline