Skip to content
Find file Blame History Permalink
  • Kimaya Bedarkar's avatar
    generalize some parts of the EDF aRTA instantiation · 99ba6864
    Kimaya Bedarkar authored and Björn Brandenburg's avatar Björn Brandenburg committed 
    * 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`.
    99ba6864