Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-09-18 | spec: Move specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-05-28 | specverify: New module | Sebastian Huber | 1 | -0/+16 |