remove task from context in early_hep_job
The lemma does not inherently rely on a task abstraction. This patch removes the accidental dependency so that the lemma can be used in job-only contexts.
parent
acc353bd
No related branches found
No related tags found
Showing
- analysis/facts/busy_interval/priority_inversion.v 35 additions, 74 deletionsanalysis/facts/busy_interval/priority_inversion.v
- analysis/facts/priority/edf.v 2 additions, 1 deletionanalysis/facts/priority/edf.v
- analysis/facts/priority/sequential.v 10 additions, 21 deletionsanalysis/facts/priority/sequential.v
Loading
Please register or sign in to comment