Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -8/+5 |
2020-05-28 | spec: Fix description | Sebastian Huber | 1 | -4/+4 |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-05-28 | specverify: New module | Sebastian Huber | 1 | -0/+21 |