Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update company name | Sebastian Huber | 2023-05-19 | 1 | -1/+1 |
* | spec: Specify thread queue deadlock details | Sebastian Huber | 2021-09-28 | 1 | -1/+1 |
* | spec: Test thread queue API change | Sebastian Huber | 2021-09-24 | 1 | -6/+1 |
* | spec: Improve deadlock specification | Sebastian Huber | 2021-09-24 | 1 | -21/+58 |
* | spec: Improve mutex seize specification | Sebastian Huber | 2021-09-14 | 1 | -0/+7 |
* | spec: Specify some fatal errors | Sebastian Huber | 2021-08-03 | 1 | -1/+1 |
* | validation: Support freestanding test cases | Sebastian Huber | 2021-07-30 | 1 | -0/+1 |
* | spec: Add and use software architecture components | Sebastian Huber | 2021-05-28 | 1 | -1/+3 |
* | spec: Specify semphore obtain | Sebastian Huber | 2021-04-19 | 1 | -0/+142 |