Skip to content

Small fixes

Mariam Vardishvili requested to merge RTS/internships-2021:master into master
  • Changed name of lemma instantiated_busy_interval_equivalent_edf_busy_interval.
  • Changed IBF to IBF_other.
  • Task type changed in fully_preemptive.v
  • Comment changes.
Edited by Sergey Bozhko

Merge request reports