summaryrefslogtreecommitdiffstats
path: root/spec (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Add spec items for clock managerFrank Kühndel2021-04-096-0/+929
* spec: Update due to API changesSebastian Huber2021-04-092-3/+3
* spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber2021-04-096-0/+436
* spec: Use GetThread() from test supportSebastian Huber2021-04-091-12/+1
* spec: Update due to API changesSebastian Huber2021-04-081-9/+9
* 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: Fix warningSebastian Huber2021-04-071-3/+2
* 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-232-58/+16
* spec: Specify rtems_semaphore_delete()Sebastian Huber2021-03-221-0/+450
* spec: Use tc-support.hSebastian Huber2021-03-228-446/+94
* spec: Specify rtems_task_mode()Sebastian Huber2021-03-191-0/+930
* spec: Specify semaphore createSebastian Huber2021-03-191-0/+1133
* spec: Simplify /rtems/signal/req/catchSebastian Huber2021-03-191-779/+173
* spec: Canonicalize directivesSebastian Huber2021-03-1923-384/+370
* validation: Add post-condition expressionsSebastian Huber2021-03-178-1/+191
* validation: Allow N/A for post-condition statesSebastian Huber2021-03-172-2/+23
* validation: Add default for transition map entriesSebastian Huber2021-03-171-0/+7
* spec: Update semaphore specificationSebastian Huber2021-03-173-14/+2
* spec: Specify extension set create/deleteSebastian Huber2021-03-112-0/+470
* spec: Specify message queue deleteSebastian Huber2021-03-111-0/+263
* spec: Specify ratemon create/deleteSebastian Huber2021-03-112-0/+372
* spec: Specify timer create/deleteSebastian Huber2021-03-112-0/+372
* spec: Improve or fix wordingSebastian Huber2021-03-1110-15/+18
* spec: Use common wordingSebastian Huber2021-03-117-102/+117
* spec: Add memory benchmarksSebastian Huber2021-03-1045-0/+1651
* spec: Update X/STRING and adding ALIGNOF specsFrank Kühndel2021-03-098-13/+155
* spec: Use common wordingSebastian Huber2021-03-089-73/+114
* spec: Use common wordingSebastian Huber2021-03-059-31/+44
* spec: Fix message queue constructSebastian Huber2021-03-051-1/+12
* spec: CONFIGURE_MAXIMUM_THREAD_LOCAL_STORAGE_SIZESebastian Huber2021-03-051-0/+2
* spec: Fix RTEMS_TASK_STORAGE_ALIGNMENTSebastian Huber2021-03-042-1/+13
* spec: Improve signal catch specificationSebastian Huber2021-03-021-7/+155
* spec: Fix specification references in basedefsSebastian Huber2021-03-011-56/+56
* spec: Fix barrier release textSebastian Huber2021-03-011-2/+2
* spec: Improve event send/receiveSebastian Huber2021-03-011-1/+36
* spec: Improve partition createSebastian Huber2021-02-261-2/+9
* spec: Improve return bufferSebastian Huber2021-02-261-24/+54
* spec: Specify task create errorsSebastian Huber2021-02-261-0/+639
* spec: Improve task construct validationSebastian Huber2021-02-261-33/+240
* spec: Improve documentationSebastian Huber2021-02-261-1/+1
* spec: Add build label and target hash directivesSebastian Huber2021-02-262-0/+81
* spec: Improve wordingSebastian Huber2021-02-261-10/+10
* spec: Harmonize create directivesSebastian Huber2021-02-254-133/+261
* spec: Remove unused stateSebastian Huber2021-02-251-6/+0