Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | spec: Improve MrsP specification | Sebastian Huber | 2023-11-23 | 1 | -23/+13 |
* | Update company name | Sebastian Huber | 2023-05-19 | 1 | -1/+1 |
* | spec: Add requirement for RTEMS_NO_TIMEOUT | Sebastian Huber | 2023-05-08 | 1 | -2/+0 |
* | spec: Use ${xzy:/spec} for item references | Sebastian Huber | 2023-05-08 | 1 | -10/+10 |
* | spec: Add interface function links | Sebastian Huber | 2021-11-18 | 1 | -0/+2 |
* | spec: Improve mutex seize wait | Sebastian Huber | 2021-09-29 | 1 | -6/+34 |
* | spec: Add "function-implementation" link role | Sebastian Huber | 2021-09-24 | 1 | -0/+8 |
* | spec: Test thread queue API change | Sebastian Huber | 2021-09-24 | 1 | -1/+1 |
* | spec: Improve deadlock specification | Sebastian Huber | 2021-09-24 | 1 | -6/+1 |
* | spec: Test thread queue API change | Sebastian Huber | 2021-09-24 | 1 | -1/+1 |
* | spec: Update due to API changes | Sebastian Huber | 2021-09-24 | 1 | -1/+3 |
* | spec: Improve mutex seize specification | Sebastian Huber | 2021-09-14 | 1 | -6/+24 |
* | validation: Add ${.:/test-context-type} | Sebastian Huber | 2021-08-17 | 1 | -1/+1 |
* | spec: Move TQ get owner to base context | Sebastian Huber | 2021-08-17 | 1 | -6/+1 |
* | spec: Fix attribute references | Sebastian Huber | 2021-05-28 | 1 | -1/+1 |
* | spec: Fix ceiling enqueue validation | Sebastian Huber | 2021-05-06 | 1 | -6/+6 |
* | spec: Specify semphore obtain | Sebastian Huber | 2021-04-19 | 1 | -8/+252 |
* | spec: New cases for /rtems/sem/req/obtain | Sebastian Huber | 2021-04-13 | 1 | -11/+63 |
* | spec: Update due to renamed header | Sebastian Huber | 2021-04-12 | 1 | -1/+1 |
* | spec: Specify parts of rtems_semaphore_obtain() | Sebastian Huber | 2021-04-09 | 1 | -0/+159 |