Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update company name | Sebastian Huber | 2023-05-19 | 11 | -11/+11 |
* | spec: Refine unspecified interfaces | Sebastian Huber | 2022-09-28 | 9 | -9/+9 |
* | spec: Add score interfaces to groups | Sebastian Huber | 2022-09-02 | 11 | -0/+36 |
* | spec: Specify EDF SMP set affinity error | Sebastian Huber | 2021-11-19 | 1 | -0/+12 |
* | spec: Generalize semaphore release | Sebastian Huber | 2021-09-24 | 2 | -0/+24 |
* | spec: Improve mutex try seize specification | Sebastian Huber | 2021-09-24 | 1 | -0/+12 |
* | spec: Use external references for interfaces | Sebastian Huber | 2021-09-16 | 5 | -5/+5 |
* | spec: Specify semaphore obtain timeouts | Sebastian Huber | 2021-09-14 | 1 | -0/+12 |
* | spec: Specify priority ceiling violation | Sebastian Huber | 2021-08-11 | 1 | -0/+12 |
* | spec: Allow multiple interface references | Sebastian Huber | 2021-04-28 | 3 | -3/+3 |
* | spec: Specify semphore obtain | Sebastian Huber | 2021-04-19 | 1 | -0/+12 |
* | spec: Specify parts of rtems_semaphore_obtain() | Sebastian Huber | 2021-04-09 | 3 | -0/+38 |