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