summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem/req/obtain.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Improve MrsP specificationSebastian Huber2023-11-231-23/+13
* Update company nameSebastian Huber2023-05-191-1/+1
* spec: Add requirement for RTEMS_NO_TIMEOUTSebastian Huber2023-05-081-2/+0
* spec: Use ${xzy:/spec} for item referencesSebastian Huber2023-05-081-10/+10
* spec: Add interface function linksSebastian Huber2021-11-181-0/+2
* spec: Improve mutex seize waitSebastian Huber2021-09-291-6/+34
* spec: Add "function-implementation" link roleSebastian Huber2021-09-241-0/+8
* spec: Test thread queue API changeSebastian Huber2021-09-241-1/+1
* spec: Improve deadlock specificationSebastian Huber2021-09-241-6/+1
* spec: Test thread queue API changeSebastian Huber2021-09-241-1/+1
* spec: Update due to API changesSebastian Huber2021-09-241-1/+3
* spec: Improve mutex seize specificationSebastian Huber2021-09-141-6/+24
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-171-1/+1
* spec: Move TQ get owner to base contextSebastian Huber2021-08-171-6/+1
* spec: Fix attribute referencesSebastian Huber2021-05-281-1/+1
* spec: Fix ceiling enqueue validationSebastian Huber2021-05-061-6/+6
* spec: Specify semphore obtainSebastian Huber2021-04-191-8/+252
* spec: New cases for /rtems/sem/req/obtainSebastian Huber2021-04-131-11/+63
* spec: Update due to renamed headerSebastian Huber2021-04-121-1/+1
* spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber2021-04-091-0/+159