Skip to content

Preemption model compliance

LailaElbeheiry requested to merge LailaElbeheiry/rt-proofs:preemption-model-compliance into master

In this MR, we prove that the ideal uniprocessor schedules that are implemented in prosa.implementation.definitions.ideal_uni_scheduler respect the preemption model.

Merge request reports