Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2023-05-19 | Update company name | Sebastian Huber | 1 | -2/+2 |
2020-09-18 | spec: Move specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-06-08 | spec: Rename required in mandatory attributes | Sebastian Huber | 1 | -2/+2 |
2020-06-08 | spec: Canonicalize descriptions | Sebastian Huber | 1 | -1/+1 |
2020-05-28 | spec: Canonicalize specification of specification | Sebastian Huber | 1 | -11/+9 |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-05-28 | specverify: New module | Sebastian Huber | 1 | -0/+74 |