summaryrefslogtreecommitdiffstats
path: root/spec (follow)
Commit message (Collapse)AuthorAgeFilesLines
* spec: Add spec items for clock managerFrank Kühndel2021-04-096-0/+929
| | | | | | | Adding the specification items to rtems-central for those methods of the clock manager which are mentioned in the space profile. The SRS requirements and their tests can be generated from these specification items.
* 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
| | | | Use common wording and the new templates for action requirements.
* 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
| | | | | | This specification is up to date for ./cpukit/include/rtems/score/basedefs.h with commit be60372136ac4f5acd8bc3286da6ed3fc50fa053
* 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
| | | | Add a condition for a NULL pointer for the event set to receive.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-08 23:34:31 +0000