summaryrefslogtreecommitdiffstats
path: root/spec/score/status/if/mutex-ceiling-violated.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update company nameSebastian Huber2023-05-191-1/+1
* spec: Refine unspecified interfacesSebastian Huber2022-09-281-1/+1
* spec: Add score interfaces to groupsSebastian Huber2022-09-021-0/+2
* spec: Use external references for interfacesSebastian Huber2021-09-161-1/+1
* spec: Specify priority ceiling violationSebastian Huber2021-08-111-0/+12