Skip to content

Simplify edf2

Kimaya Bedarkar requested to merge kbedarka/rt-proofs:simplifyEDF2 into master
  • Some of the inequalities used in the EDF RTA to prove the soundness of IBF were not specific to EDF. These have been moved to analysis.facts.busy_interval.inequalities.
  • The lemma reorder_summation can be generalized to sums over partitions. Therefore, it has been moved to util.sum
Edited by Kimaya Bedarkar

Merge request reports