summaryrefslogtreecommitdiffstats
path: root/spec/rtems/task/req (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* spec: Improve rtems_task_restart() specificationSebastian Huber2021-08-051-0/+27
* spec: Fix "the the"Sebastian Huber2021-08-051-2/+2
* spec: Use TCB in rtems_task_restart() validationSebastian Huber2021-05-261-28/+34
* spec: Specify rtems_task_restart()Sebastian Huber2021-05-261-108/+1411
* spec: Specify rtems_task_exit()Sebastian Huber2021-05-211-0/+536
* spec: Fix formatSebastian Huber2021-05-182-2/+2
* spec: Specify rtems_task_wake_after()Sebastian Huber2021-05-181-0/+202
* spec: Specify rtems_task_wake_when()Sebastian Huber2021-05-181-0/+317
* spec: Fix attribute referenceSebastian Huber2021-05-171-1/+1
* spec: Specify task manager directivesSebastian Huber2021-05-1718-0/+3789
* spec: Move INVALID_ID to tx-support.hSebastian Huber2021-05-142-6/+4
* spec: Check for NULL configurationSebastian Huber2021-04-231-16/+85
* spec: Use ClockTick()Sebastian Huber2021-04-121-18/+2
* spec: Update due to renamed headerSebastian Huber2021-04-121-1/+1
* spec: Use tc-support.hSebastian Huber2021-03-221-72/+16
* spec: Specify rtems_task_mode()Sebastian Huber2021-03-191-0/+930
* spec: Canonicalize directivesSebastian Huber2021-03-193-55/+55
* spec: Improve or fix wordingSebastian Huber2021-03-112-2/+2
* spec: Use common wordingSebastian Huber2021-03-112-39/+44
* spec: Add memory benchmarksSebastian Huber2021-03-104-0/+61
* spec: Use common wordingSebastian Huber2021-03-083-22/+30
* spec: Use common wordingSebastian Huber2021-03-052-4/+8
* spec: Specify task create errorsSebastian Huber2021-02-261-0/+639
* spec: Improve task construct validationSebastian Huber2021-02-261-33/+240
* spec: Improve wordingSebastian Huber2021-02-261-10/+10
* spec: Harmonize create directivesSebastian Huber2021-02-251-93/+169
* spec: Use EARS syntaxSebastian Huber2021-02-191-2/+2
* spec: Tweak construct errorsSebastian Huber2021-02-081-21/+29
* spec: Fix formatSebastian Huber2020-10-071-49/+49
* spec: Canonicalize name and id checksSebastian Huber2020-10-071-7/+7
* spec: Fix references in text attributesSebastian Huber2020-09-301-2/+2
* spec: Use relative UIDSebastian Huber2020-09-251-1/+1
* spec: Delete resources in validation testsSebastian Huber2020-09-181-1/+10
* spec: Use rtems_task_construct()Sebastian Huber2020-09-171-10/+26
* spec: Fix referencesSebastian Huber2020-09-171-3/+3
* spec: Group items by componentSebastian Huber2020-09-162-0/+622