summaryrefslogtreecommitdiffstats
path: root/spec/score/sem (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update company nameSebastian Huber2023-05-194-4/+4
* spec: Improve semaphore surrenderSebastian Huber2021-09-291-11/+14
* spec: Add "function-implementation" link roleSebastian Huber2021-09-241-0/+4
* spec: Generalize semaphore releaseSebastian Huber2021-09-241-0/+267
* spec: Test thread queue API changeSebastian Huber2021-09-241-1/+1
* spec: Update due to API changesSebastian Huber2021-09-241-3/+3
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-172-2/+2
* spec: Specify some fatal errorsSebastian Huber2021-08-033-3/+3
* validation: Support freestanding test casesSebastian Huber2021-07-302-0/+2
* spec: Add and use software architecture componentsSebastian Huber2021-05-283-2/+22
* spec: Specify semphore obtainSebastian Huber2021-04-192-29/+22
* spec: Add custom action req textsSebastian Huber2021-04-132-2/+4
* spec: New cases for /rtems/sem/req/obtainSebastian Huber2021-04-132-15/+187
* spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber2021-04-091-0/+134