summaryrefslogtreecommitdiffstats
path: root/spec/rtems/constraint (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Add constraints to semaphore managerSebastian Huber2021-02-102-2/+14
* spec: Add constraintsSebastian Huber2021-02-033-0/+34