summaryrefslogtreecommitdiffstats
path: root/spec (follow)
Commit message (Collapse)AuthorAgeFilesLines
* spec: Add spec for rtems_timer_server_fire_when()Frank Kühndel2021-05-171-0/+1267
| | | | | | Adding a specification item to rtems-central for the directive rtems_timer_server_fire_when() of the timer manager. This item uses the timer specific glossary terms, too.
* spec: Add spec for rtems_timer_server_fire_after()Frank Kühndel2021-05-171-0/+965
| | | | | | Adding a specification item to rtems-central for the directive rtems_timer_server_fire_after() of the timer manager. This item uses the timer specific glossary terms, too.
* spec: Add spec item for rtems_timer_fire_when()Frank Kühndel2021-05-171-0/+1103
| | | | | | Adding a specification item to rtems-central for the directive rtems_timer_fire_when() of the timer manager. This item uses the timer specific glossary terms, too.
* spec: timer: Unset clock after testFrank Kühndel2021-05-173-5/+11
| | | | | | | | | | This patch changes rtems_timer_cancel(), rtems_timer_reset() and rtems_timer_fire_after() validation tests. It adds a call to UnsetClock() in teardown to set the state of the system back to where is was before the test. In addition, in rtems_timer_fire_after() it fixes a typo in pre-condition requirements.
* spec: Add spec item for rtems_timer_fire_after()Frank Kühndel2021-05-171-0/+857
| | | | | | Adding a specification item to rtems-central for the directive rtems_timer_fire_after() of the timer manager. This item uses the timer specific glossary terms, too.
* spec: Add spec item for rtems_timer_reset()Frank Kühndel2021-05-171-0/+741
| | | | | | Adding the specification item to rtems-central for the directive rtems_timer_reset() of the timer manager. This item uses the timer specific glossary terms, too.
* spec: rtems_timer_cancel() use new glossary termsFrank Kühndel2021-05-171-65/+45
| | | | | This patch changes the requirements texts of the specification of rtems_timer_cancel() to use the new glossary terms.
* spec: Glossary terms for timer managerFrank Kühndel2021-05-1715-0/+282
| | | | | | | | | | | | | | spec/rtems/timer/glossary/*.yml Here are the timer specific glossary terms. As requested, the manager specific terms are put into an own folder alongside the other specification files of the manager. spec/glossary-requirements.yml The glossary terms for specifications are in an own group *glossary-requirements* to keep them separate from the existing glossary terms (*glossary-general*).
* spec: Add spec item for rtems_timer_cancel()Frank Kühndel2021-05-141-0/+521
| | | | | Adding the specification item to rtems-central for the directive rtems_timer_cancel() of the timer manager.
* spec: timer_initiate_server test more independentFrank Kühndel2021-05-141-6/+10
| | | | | | Factoring out the direct use of _Timer_server. The access to RTEMS internals should be bundled in one place and not spread over many files in the validation tests.
* spec: rtems_timer_initiate_server() minor changesFrank Kühndel2021-05-141-18/+17
| | | | | Apply recommended changes from review to specification item for rtems_timer_initiate_server().
* spec: Fix rtems_scheduler_ident() validationSebastian Huber2021-05-141-1/+0
|
* spec: Move INVALID_ID to tx-support.hSebastian Huber2021-05-1417-47/+28
|
* spec: Constify rtems_task_wake_when()Sebastian Huber2021-05-121-1/+1
|
* spec: Clarify rtems_task_get_priority() docSebastian Huber2021-05-121-2/+2
|
* spec: Document rtems_task_set_scheduler() errorsSebastian Huber2021-05-121-2/+26
|
* spec: rtems_scheduler_get_processor_maximum()Sebastian Huber2021-05-101-0/+182
|
* applconfig: Use unspecified groupsSebastian Huber2021-05-0754-53/+221
| | | | Remove ${.:document-reference/*} hacks.
* applconfig: Use unspecified groupsSebastian Huber2021-05-0711-9/+25
|
* applconfig: Use unspecified functionSebastian Huber2021-05-072-1/+14
|
* spec: Fix linksSebastian Huber2021-05-072-2/+2
|
* spec: Fix linksSebastian Huber2021-05-072-4/+4
|
* spec: Fix rtems_scheduler_get_processor() valiSebastian Huber2021-05-071-1/+2
|
* spec: Specify scheduler manager directivesSebastian Huber2021-05-0713-1/+2062
|
* spec: Add SMP-only and non-SMP test suitesSebastian Huber2021-05-072-0/+47
|
* spec: Update scheduler documentationSebastian Huber2021-05-072-1/+4
|
* spec: Specify memory allocation directivesSebastian Huber2021-05-079-0/+718
|
* spec: Fix semaphore set priority validationSebastian Huber2021-05-071-0/+4
|
* spec: Fix ceiling enqueue validationSebastian Huber2021-05-062-7/+10
|
* spec: Avoid name conflicts with test supportSebastian Huber2021-05-062-13/+13
|
* spec: Add RTEMS_NOINITSebastian Huber2021-05-021-0/+22
|
* spec: Add requirements for acfgSebastian Huber2021-04-29305-157/+2633
|
* spec: Replace constraint scope with a linkSebastian Huber2021-04-29101-202/+311
|
* spec: Add requirement for test suitesSebastian Huber2021-04-297-6/+32
|
* spec: Add test suite name attributeSebastian Huber2021-04-2929-6/+38
|
* spec: Link general glossary to to root requirementSebastian Huber2021-04-292-13/+1
|
* spec: Add unit test roleSebastian Huber2021-04-293-2/+36
|
* spec: Add requirement for interface domainsSebastian Huber2021-04-298-9/+38
|
* spec: Use explicit constraints for acfgSebastian Huber2021-04-29138-487/+812
|
* spec: Fix CONFIGURE_BSP_PREREQUISITE_DRIVERS docsSebastian Huber2021-04-291-2/+2
|
* spec: Add missing "the"Sebastian Huber2021-04-299-10/+10
|
* spec: Fix wordingSebastian Huber2021-04-291-1/+0
|
* spec: Update /rtems/region/* documentationSebastian Huber2021-04-2810-75/+394
|
* spec: Update /rtems/task/* documentationSebastian Huber2021-04-2841-159/+849
|
* spec: Generalize may preempt constraintsSebastian Huber2021-04-282-3/+4
|
* spec: Allow multiple interface referencesSebastian Huber2021-04-28200-204/+245
|
* spec: Update /rtems/scheduler/* documentationSebastian Huber2021-04-2714-79/+209
|
* spec: Update /rtems/intr/* documentationSebastian Huber2021-04-2733-147/+618
|
* spec: Constify timer fire when directivesSebastian Huber2021-04-272-2/+2
|
* spec: Use glossary termSebastian Huber2021-04-271-3/+3
|