summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-09spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber1-0/+159
2021-04-09spec: Use GetThread() from test supportSebastian Huber1-12/+1
2021-04-07spec: Wording in /rtems/sem/req/releaseSebastian Huber1-4/+4
2021-04-07spec: Wording in /rtems/sem/req/set-prioritySebastian Huber1-1/+2
2021-04-07spec: Clarify /rtems/sem/req/set-prioritySebastian Huber1-116/+193
2021-04-07spec: Fix wording in /rtems/sem/req/releaseSebastian Huber1-12/+6
2021-04-07spec: Fix rtems_semaphore_release() errorSebastian Huber2-3/+3
2021-03-30spec: Specify rtems_semaphore_release()Sebastian Huber1-0/+1532
2021-03-23spec: Specify rtems_semaphore_set_priority()Sebastian Huber1-0/+703
2021-03-23spec: Use tc-support.hSebastian Huber1-9/+5
2021-03-22spec: Specify rtems_semaphore_delete()Sebastian Huber1-0/+450
2021-03-19spec: Specify semaphore createSebastian Huber1-0/+1133
2021-03-17spec: Update semaphore specificationSebastian Huber3-14/+2
2021-03-10spec: Add memory benchmarksSebastian Huber4-0/+150
2021-02-19spec: Move rtems_task_priority itemSebastian Huber2-3/+3
2021-02-19spec: Use EARS syntaxSebastian Huber1-1/+1
2021-02-17spec: Use EARS syntaxSebastian Huber3-9/+9
2021-02-10spec: Add constraints to create/deleteSebastian Huber2-0/+4
2021-02-10spec: Add constraints to semaphore managerSebastian Huber10-7/+98
2021-02-04spec: Document semaphore directivesSebastian Huber6-33/+434
2021-02-04spec: Rename test case action attributesSebastian Huber1-4/+4
2021-02-04validation: Remove prologue/epilogue in test casesSebastian Huber1-2/+0
2021-02-04spec: Avoid test prologue/epilogue in test casesSebastian Huber1-15/+17
2021-02-04validation: Add context and fixture to test caseSebastian Huber1-1/+5
2021-02-03spec: Document all delete directivesSebastian Huber1-7/+51
2021-02-03spec: Document all create directivesSebastian Huber1-102/+124
2021-02-03spec: Clarify object identificationSebastian Huber1-9/+18
2020-12-01interface/interfacedoc: Format parameter namesSebastian Huber1-2/+2
2020-10-13spec: Add implemenation groupsSebastian Huber1-0/+18
2020-10-12spec: Add function attributesSebastian Huber7-0/+7
2020-10-07spec: Move index-entries to interface typeSebastian Huber9-0/+9
2020-09-30spec: Fix references in text attributesSebastian Huber1-1/+1
2020-09-18spec: Delete resources in validation testsSebastian Huber1-1/+3
2020-09-16spec: Group items by componentSebastian Huber11-0/+534
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-03 13:16:36 +0000