Skip to content

Simplify edf

Kimaya Bedarkar requested to merge kbedarka/rt-proofs:simplifyEDF into master
  • made one assumption for EDF_implies_sequential_tasks weaker
  • removed the sequential tasks hypothesis from the bounded_pi file in EDF RTA
  • changed the wrong comment accompanying the respects_policy hypothesis
Edited by Kimaya Bedarkar

Merge request reports