summaryrefslogtreecommitdiffstats
path: root/spec (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-09spec: Add spec items for clock managerFrank Kühndel6-0/+929
2021-04-09spec: Update due to API changesSebastian Huber2-3/+3
2021-04-09spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber6-0/+436
2021-04-09spec: Use GetThread() from test supportSebastian Huber1-12/+1
2021-04-08spec: Update due to API changesSebastian Huber1-9/+9
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-04-07spec: Fix warningSebastian Huber1-3/+2
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 Huber2-58/+16
2021-03-22spec: Specify rtems_semaphore_delete()Sebastian Huber1-0/+450
2021-03-22spec: Use tc-support.hSebastian Huber8-446/+94
2021-03-19spec: Specify rtems_task_mode()Sebastian Huber1-0/+930
2021-03-19spec: Specify semaphore createSebastian Huber1-0/+1133
2021-03-19spec: Simplify /rtems/signal/req/catchSebastian Huber1-779/+173
2021-03-19spec: Canonicalize directivesSebastian Huber23-384/+370
2021-03-17validation: Add post-condition expressionsSebastian Huber8-1/+191
2021-03-17validation: Allow N/A for post-condition statesSebastian Huber2-2/+23
2021-03-17validation: Add default for transition map entriesSebastian Huber1-0/+7
2021-03-17spec: Update semaphore specificationSebastian Huber3-14/+2
2021-03-11spec: Specify extension set create/deleteSebastian Huber2-0/+470
2021-03-11spec: Specify message queue deleteSebastian Huber1-0/+263
2021-03-11spec: Specify ratemon create/deleteSebastian Huber2-0/+372
2021-03-11spec: Specify timer create/deleteSebastian Huber2-0/+372
2021-03-11spec: Improve or fix wordingSebastian Huber10-15/+18
2021-03-11spec: Use common wordingSebastian Huber7-102/+117
2021-03-10spec: Add memory benchmarksSebastian Huber45-0/+1651
2021-03-09spec: Update X/STRING and adding ALIGNOF specsFrank Kühndel8-13/+155
2021-03-08spec: Use common wordingSebastian Huber9-73/+114
2021-03-05spec: Use common wordingSebastian Huber9-31/+44
2021-03-05spec: Fix message queue constructSebastian Huber1-1/+12
2021-03-05spec: CONFIGURE_MAXIMUM_THREAD_LOCAL_STORAGE_SIZESebastian Huber1-0/+2
2021-03-04spec: Fix RTEMS_TASK_STORAGE_ALIGNMENTSebastian Huber2-1/+13
2021-03-02spec: Improve signal catch specificationSebastian Huber1-7/+155
2021-03-01spec: Fix specification references in basedefsSebastian Huber1-56/+56
2021-03-01spec: Fix barrier release textSebastian Huber1-2/+2
2021-03-01spec: Improve event send/receiveSebastian Huber1-1/+36
2021-02-26spec: Improve partition createSebastian Huber1-2/+9
2021-02-26spec: Improve return bufferSebastian Huber1-24/+54
2021-02-26spec: Specify task create errorsSebastian Huber1-0/+639
2021-02-26spec: Improve task construct validationSebastian Huber1-33/+240
2021-02-26spec: Improve documentationSebastian Huber1-1/+1
2021-02-26spec: Add build label and target hash directivesSebastian Huber2-0/+81
2021-02-26spec: Improve wordingSebastian Huber1-10/+10
2021-02-25spec: Harmonize create directivesSebastian Huber4-133/+261
2021-02-25spec: Remove unused stateSebastian Huber1-6/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-08 14:05:00 +0000