Skip to content
Snippets Groups Projects

generalize definition of busy interval

Merged generalize definition of busy interval
sbozhko/rt-proofs:generalize_busy_interval_def into master
Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:generalize_busy_interval_def into master

The definition of busy interval can be generalized to an arbitrary processor state model without affecting other parts of the project (which will be useful later).

Merge request reports

Loading
Loading

Activity

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