Age | Commit message (Expand) | Author |
---|---|---|
2020-09-18 | spec: Move specification of specification items | Sebastian Huber |
2020-05-28 | spec: Canonicalize specification of specification | Sebastian Huber |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber |
2020-05-28 | specverify: New module | Sebastian Huber |