physical vs. logical events, the latter takes GC time into account;
Timeout.apply is based on logical ML time;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE183c345b063e: misc tuning and clarification;
- Branches
- Unknown
- Tags