Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
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 | -1/+1 |
2020-05-28 | spec: Canonicalize specification of items | Sebastian Huber | 1 | -1/+1 |
2020-05-28 | spec: Canonicalize specification of specification | Sebastian Huber | 1 | -3/+2 |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-05-28 | specverify: New module | Sebastian Huber | 1 | -0/+31 |