summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem/constraint (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Update semaphore specificationSebastian Huber2021-03-171-11/+0
* spec: Add constraints to semaphore managerSebastian Huber2021-02-105-0/+57
* spec: Document semaphore directivesSebastian Huber2021-02-041-0/+11