Skip to content

simplify EDF search space

Björn Brandenburg requested to merge wip-edf-bounded-nps-search-space into master

We can retain the previous search space, in which we do not explicitly consider points at which the blocking bound "steps". This is preferable from an implementation perspective, so let's adjust the proofs and definitions to show this explicitly.

Merge request reports