summaryrefslogtreecommitdiffstats
path: root/spec/rtems/sem/req (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: Improve MrsP specificationSebastian Huber2023-11-232-35/+28
* spec: Clarify performance requirementSebastian Huber2023-09-261-2/+3
* spec: Compatibility for other RTEMS versionsSebastian Huber2023-09-263-6/+12
* spec: Remove superfluous ';'Sebastian Huber2023-07-213-9/+9
* Update company nameSebastian Huber2023-05-1923-23/+23
* spec: Add requirement for RTEMS_NO_TIMEOUTSebastian Huber2023-05-081-2/+0
* spec: Use ${xzy:/spec} for item referencesSebastian Huber2023-05-085-24/+24
* spec: Reorganize performance runtime limitsSebastian Huber2023-05-088-1588/+0
* spec: Move flush filter stop to flush fifoSebastian Huber2022-08-311-1/+1
* spec: Update due to API changesSebastian Huber2022-08-311-1/+5
* spec: Update performance limitsSebastian Huber2022-01-248-1026/+1234
* spec: Update performance limitsSebastian Huber2022-01-128-376/+168
* spec: Add limits from HW runs to performance testsFrank Kühndel2021-12-088-3/+585
* spec: Fix formattingSebastian Huber2021-12-044-16/+16
* spec: Add limits to time performance testsFrank Kühndel2021-12-038-12/+1010
* spec: Adjust link role for some design groupsSebastian Huber2021-12-011-1/+1
* spec: Add requirements to groupsSebastian Huber2021-12-011-0/+2
* spec: Add memory benchmarks to groupsSebastian Huber2021-12-012-0/+4
* spec: Add performance requirementsSebastian Huber2021-11-252-2/+4
* spec: Add performance requirementsSebastian Huber2021-11-254-23/+26
* spec: Add performance requirementsSebastian Huber2021-11-259-0/+440
* spec: Fix sporadic test failuresSebastian Huber2021-11-191-5/+2
* spec: Add interface function linksSebastian Huber2021-11-181-0/+2
* spec: Specify MrsP uniprocessor scheduler detailSebastian Huber2021-10-291-0/+16
* spec: Specify MrsP semaphore obtain detailsSebastian Huber2021-10-281-0/+860
* spec: Refine TQ timeout priority inherit specSebastian Huber2021-10-081-4/+17
* spec: Improve mutex seize waitSebastian Huber2021-09-291-6/+34
* spec: Improve semaphore surrenderSebastian Huber2021-09-291-6/+8
* spec: Add "function-implementation" link roleSebastian Huber2021-09-244-0/+22
* spec: Generalize semaphore releaseSebastian Huber2021-09-241-1306/+150
* spec: Test thread queue API changeSebastian Huber2021-09-241-1/+1
* spec: Improve deadlock specificationSebastian Huber2021-09-241-6/+1
* spec: Test thread queue API changeSebastian Huber2021-09-243-7/+7
* spec: Update due to API changesSebastian Huber2021-09-242-3/+5
* spec: Specify timeout with priority inheritSebastian Huber2021-09-241-11/+18
* spec: Use design groupsSebastian Huber2021-09-151-10/+8
* spec: Improve mutex seize specificationSebastian Huber2021-09-141-6/+24
* spec: Specify semaphore obtain timeoutsSebastian Huber2021-09-141-0/+184
* spec: Specify MrsP special caseSebastian Huber2021-09-081-0/+29
* spec: Specify rtems_semaphore_flush()Sebastian Huber2021-09-071-0/+328
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-175-5/+5
* spec: Move TQ get owner to base contextSebastian Huber2021-08-171-6/+1
* spec: Fix "the the"Sebastian Huber2021-08-051-1/+1
* spec: Fix attribute referencesSebastian Huber2021-05-281-1/+1
* spec: Move INVALID_ID to tx-support.hSebastian Huber2021-05-142-10/+4
* spec: Fix semaphore set priority validationSebastian Huber2021-05-071-0/+4
* spec: Fix ceiling enqueue validationSebastian Huber2021-05-061-6/+6
* spec: Avoid name conflicts with test supportSebastian Huber2021-05-062-13/+13
* spec: Specify semphore obtainSebastian Huber2021-04-192-16/+252
* spec: New cases for /rtems/sem/req/obtainSebastian Huber2021-04-131-11/+63