maintain explicit execution frontier: avoid conflict with former task via static dependency;
start execution immediate after assignment, to keep frontier simple;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3e8b9d2f18cb: afford higher execution priority by default: defer proofs and thus stretch…
- Branches
- Unknown
- Tags