-
Björn Brandenburg authored
The notion of a valid preemption model for *jobs* should not depend on any task abstraction. Split the two notions.
Björn Brandenburg authoredThe notion of a valid preemption model for *jobs* should not depend on any task abstraction. Split the two notions.
fully_preemptive.v 1.37 KiB