summaryrefslogtreecommitdiffstats
path: root/spec/rtems/task/req (unfollow)
Commit message (Expand)AuthorFilesLines
2021-08-05spec: Improve rtems_task_restart() specificationSebastian Huber1-0/+27
2021-08-05spec: Fix "the the"Sebastian Huber1-2/+2
2021-05-26spec: Use TCB in rtems_task_restart() validationSebastian Huber1-28/+34
2021-05-26spec: Specify rtems_task_restart()Sebastian Huber1-108/+1411
2021-05-21spec: Specify rtems_task_exit()Sebastian Huber1-0/+536
2021-05-18spec: Fix formatSebastian Huber2-2/+2
2021-05-18spec: Specify rtems_task_wake_after()Sebastian Huber1-0/+202
2021-05-18spec: Specify rtems_task_wake_when()Sebastian Huber1-0/+317
2021-05-17spec: Fix attribute referenceSebastian Huber1-1/+1
2021-05-17spec: Specify task manager directivesSebastian Huber18-0/+3789
2021-05-14spec: Move INVALID_ID to tx-support.hSebastian Huber2-6/+4
2021-04-23spec: Check for NULL configurationSebastian Huber1-16/+85
2021-04-12spec: Use ClockTick()Sebastian Huber1-18/+2
2021-04-12spec: Update due to renamed headerSebastian Huber1-1/+1
2021-03-22spec: Use tc-support.hSebastian Huber1-72/+16
2021-03-19spec: Specify rtems_task_mode()Sebastian Huber1-0/+930
2021-03-19spec: Canonicalize directivesSebastian Huber3-55/+55
2021-03-11spec: Improve or fix wordingSebastian Huber2-2/+2
2021-03-11spec: Use common wordingSebastian Huber2-39/+44
2021-03-10spec: Add memory benchmarksSebastian Huber4-0/+61
2021-03-08spec: Use common wordingSebastian Huber3-22/+30
2021-03-05spec: Use common wordingSebastian Huber2-4/+8
2021-02-26spec: Specify task create errorsSebastian Huber1-0/+639
2021-02-26spec: Improve task construct validationSebastian Huber1-33/+240
2021-02-26spec: Improve wordingSebastian Huber1-10/+10
2021-02-25spec: Harmonize create directivesSebastian Huber1-93/+169
2021-02-19spec: Use EARS syntaxSebastian Huber1-2/+2
2021-02-08spec: Tweak construct errorsSebastian Huber1-21/+29
2020-10-07spec: Fix formatSebastian Huber1-49/+49
2020-10-07spec: Canonicalize name and id checksSebastian Huber1-7/+7
2020-09-30spec: Fix references in text attributesSebastian Huber1-2/+2
2020-09-25spec: Use relative UIDSebastian Huber1-1/+1
2020-09-18spec: Delete resources in validation testsSebastian Huber1-1/+10
2020-09-17spec: Use rtems_task_construct()Sebastian Huber1-10/+26
2020-09-17spec: Fix referencesSebastian Huber1-3/+3
2020-09-16spec: Group items by componentSebastian Huber2-0/+622