HomeIsabelle/Phabricator

physical vs. logical events, the latter takes GC time into account;

Description

physical vs. logical events, the latter takes GC time into account;
Timeout.apply is based on logical ML time;

Details

Provenance
makariusAuthored on
Parents
rISABELLE183c345b063e: misc tuning and clarification;
Branches
Unknown
Tags
Unknown