summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Update due to API changesSebastian Huber2021-04-092-3/+3
* spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber2021-04-091-0/+159
* spec: Use GetThread() from test supportSebastian Huber2021-04-091-12/+1
* spec: Wording in /rtems/sem/req/releaseSebastian Huber2021-04-071-4/+4
* spec: Wording in /rtems/sem/req/set-prioritySebastian Huber2021-04-071-1/+2
* spec: Clarify /rtems/sem/req/set-prioritySebastian Huber2021-04-071-116/+193
* spec: Fix wording in /rtems/sem/req/releaseSebastian Huber2021-04-071-12/+6
* spec: Fix rtems_semaphore_release() errorSebastian Huber2021-04-072-3/+3
* spec: Specify rtems_semaphore_release()Sebastian Huber2021-03-301-0/+1532
* spec: Specify rtems_semaphore_set_priority()Sebastian Huber2021-03-231-0/+703
* spec: Use tc-support.hSebastian Huber2021-03-231-9/+5
* spec: Specify rtems_semaphore_delete()Sebastian Huber2021-03-221-0/+450
* spec: Specify semaphore createSebastian Huber2021-03-191-0/+1133
* spec: Update semaphore specificationSebastian Huber2021-03-173-14/+2
* spec: Add memory benchmarksSebastian Huber2021-03-104-0/+150
* spec: Move rtems_task_priority itemSebastian Huber2021-02-192-3/+3
* spec: Use EARS syntaxSebastian Huber2021-02-191-1/+1
* spec: Use EARS syntaxSebastian Huber2021-02-173-9/+9
* spec: Add constraints to create/deleteSebastian Huber2021-02-102-0/+4
* spec: Add constraints to semaphore managerSebastian Huber2021-02-1010-7/+98
* spec: Document semaphore directivesSebastian Huber2021-02-046-33/+434
* spec: Rename test case action attributesSebastian Huber2021-02-041-4/+4
* validation: Remove prologue/epilogue in test casesSebastian Huber2021-02-041-2/+0
* spec: Avoid test prologue/epilogue in test casesSebastian Huber2021-02-041-15/+17
* validation: Add context and fixture to test caseSebastian Huber2021-02-041-1/+5
* spec: Document all delete directivesSebastian Huber2021-02-031-7/+51
* spec: Document all create directivesSebastian Huber2021-02-031-102/+124
* spec: Clarify object identificationSebastian Huber2021-02-031-9/+18
* interface/interfacedoc: Format parameter namesSebastian Huber2020-12-011-2/+2
* spec: Add implemenation groupsSebastian Huber2020-10-131-0/+18
* spec: Add function attributesSebastian Huber2020-10-127-0/+7
* spec: Move index-entries to interface typeSebastian Huber2020-10-079-0/+9
* spec: Fix references in text attributesSebastian Huber2020-09-301-1/+1
* spec: Delete resources in validation testsSebastian Huber2020-09-181-1/+3
* spec: Group items by componentSebastian Huber2020-09-1611-0/+534