summaryrefslogtreecommitdiffstats
path: root/spec-spec/spec/spec-assert-int.yml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-05-19Update company nameSebastian Huber1-1/+1
2020-09-18spec: Move specification of specification itemsSebastian Huber1-0/+0
2020-06-08spec: Rename required in mandatory attributesSebastian Huber1-1/+1
2020-05-28spec: Canonicalize specification of itemsSebastian Huber1-1/+1
2020-05-28spec: Add specification of specification itemsSebastian Huber1-0/+0
2020-05-28specverify: New moduleSebastian Huber1-0/+70