Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2023-05-19 | Update company name | Sebastian Huber | 1 | -1/+1 |
2021-09-16 | spec: Use external references for interfaces | Sebastian Huber | 1 | -0/+4 |
2021-09-15 | spec: Generalize requirement references | Sebastian Huber | 1 | -0/+38 |