summaryrefslogtreecommitdiffstats
path: root/spec/score/tq/req (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Fix enabled-bySebastian Huber2023-11-273-3/+3
* spec: Fix typosSebastian Huber2023-11-212-4/+4
* spec: Remove superfluous ';'Sebastian Huber2023-07-219-20/+18
* Update company nameSebastian Huber2023-05-1924-24/+24
* spec: Fix typoSebastian Huber2022-09-281-1/+1
* spec: Add deadlock detection special caseSebastian Huber2022-09-091-0/+18
* spec: Clarify fine grained lockingSebastian Huber2022-09-022-6/+9
* spec: Move flush filter stop to flush fifoSebastian Huber2022-08-312-55/+215
* spec: Update due to API changesSebastian Huber2022-08-313-6/+6
* spec: Add requirements to groupsSebastian Huber2021-12-012-0/+4
* spec: Fix text and improve test actionSebastian Huber2021-11-241-1/+2
* spec: Improve TQ timeout with priority inheritSebastian Huber2021-10-131-49/+73
* spec: Refine TQ timeout with priority inheritSebastian Huber2021-10-091-21/+119
* spec: Fix typoSebastian Huber2021-10-081-1/+1
* spec: Refine TQ timeout priority inherit specSebastian Huber2021-10-082-178/+1149
* spec: Refine TQ surrender priority inherit specSebastian Huber2021-10-082-147/+845
* spec: Add TQ enqueue priority inherit specSebastian Huber2021-10-081-0/+975
* spec: Improve wording in TQ enqueue specsSebastian Huber2021-10-083-67/+67
* spec: Improve thread queue enqueue FIFO testSebastian Huber2021-09-291-2/+2
* spec: Specify thread queue deadlock detailsSebastian Huber2021-09-283-1/+32
* spec: Generalize semaphore releaseSebastian Huber2021-09-242-0/+1244
* spec: Test thread queue API changeSebastian Huber2021-09-248-104/+22
* spec: Improve deadlock specificationSebastian Huber2021-09-241-21/+58
* spec: Test thread queue API changeSebastian Huber2021-09-242-2/+4
* spec: Specify timeout with priority inheritSebastian Huber2021-09-245-100/+475
* spec: Specify priority change detailSebastian Huber2021-09-242-0/+31
* score: Fix priority inheritance flush testSebastian Huber2021-09-141-3/+3
* spec: Improve mutex seize specificationSebastian Huber2021-09-141-0/+7
* spec: Specify semaphore obtain timeoutsSebastian Huber2021-09-141-0/+306
* spec: Fix variable substitutionSebastian Huber2021-09-141-1/+2
* spec: Specify bad sticky thread queue enqueueSebastian Huber2021-09-081-0/+18
* spec: Specify rtems_semaphore_flush()Sebastian Huber2021-09-073-3/+508
* spec: Specify futex operationsSebastian Huber2021-09-025-0/+238
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-173-3/+3
* spec: Specify some fatal errorsSebastian Huber2021-08-036-21/+5
* validation: Support freestanding test casesSebastian Huber2021-07-305-0/+5
* spec: Add and use software architecture componentsSebastian Huber2021-05-286-5/+31
* spec: Fix ceiling enqueue validationSebastian Huber2021-05-061-1/+4
* spec: Specify semphore obtainSebastian Huber2021-04-195-133/+1112
* spec: Account for helping schedulersSebastian Huber2021-04-191-3/+148
* spec: Adjust scheduler termsSebastian Huber2021-04-141-15/+17
* spec: Add custom action req textsSebastian Huber2021-04-132-2/+4
* spec: New cases for /rtems/sem/req/obtainSebastian Huber2021-04-132-16/+402
* spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber2021-04-091-0/+105
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-08 04:09:08 +0000