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