Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2023-05-19 | Update company name | Sebastian Huber | 1 | -1/+1 | |
The embedded brains GmbH & Co. KG is the legal successor of embedded brains GmbH. | |||||
2020-09-18 | spec: Move specification of specification items | Sebastian Huber | 1 | -0/+0 | |
This makes it reusable. | |||||
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/+17 | |