FIFO basic facts (!170) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Kimaya Bedarkar requested to merge RTS/internships-2021:wip-first-steps into master 3 years ago

Added a file for some basic lemmas regarding FIFO.

Merge request pipeline #56371 passed with warnings

Merge request pipeline passed with warnings for a0579b47 3 years ago

Approval is optional

Activity

Björn Brandenburg added 3 commits 3 years ago
added 3 commits

d14dc0de - introduce the `preempted_at` job-level predicate

9d9ee46f - add a stronger notion of priority policy compliance

4cc8d59e - add basic facts about the FIFO scheduling policy

Compare with previous version
Björn Brandenburg added 3 commits 3 years ago
added 3 commits

c65ffcf1 - introduce the job-level predicate `preempted_at`

04af1bb4 - add a stronger notion of priority policy compliance

a0579b47 - add basic facts about the FIFO scheduling policy

Compare with previous version
Björn Brandenburg enabled an automatic merge when the pipeline for a0579b47 succeeds 3 years ago

enabled an automatic merge when the pipeline for a0579b47 succeeds
Björn Brandenburg canceled the automatic merge 3 years ago

canceled the automatic merge
Björn Brandenburg enabled an automatic merge when the pipeline for a0579b47 succeeds 3 years ago

enabled an automatic merge when the pipeline for a0579b47 succeeds
Björn Brandenburg merged 3 years ago

merged

Please register or sign in to reply