add EDF optimality argument
This patch adds the classic EDF optimality argument: by swapping allocations, any schedule in which no job misses a deadline can be transformed into an EDF schedule in which also no job misses a deadline.
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
1.9.0-coq-dev | Build | There is an unknown failure, please try again | |
|