Skip to content
Snippets Groups Projects

New helper lemma about RBF

Merged Kimaya Bedarkar requested to merge RTS/internships-2021:new_rbf_lemma into master
  • Added a lemma for proving rbf at \varepsilon is more than 0. This is a general fact which can be used in the fifo rta to simplify a proof
  • Changed 1 to \varepsilon in one of the existing RBF lemmas for uniformity
Edited by Kimaya Bedarkar

Merge request reports

Checking pipeline status.

Merged by Björn BrandenburgBjörn Brandenburg 2 years ago (Jan 31, 2022 7:34am UTC)

Loading

Pipeline #61005 passed with warnings

Pipeline passed with warnings for ce963a70 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading