Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-11-21 | specverify: Improve typing | Sebastian Huber | |
2023-06-14 | items: Derive ItemCache from dict | Sebastian Huber | |
2023-05-19 | Update company name | Sebastian Huber | |
The embedded brains GmbH & Co. KG is the legal successor of embedded brains GmbH. | |||
2023-01-03 | Replace type comment with ":" annotation | Sebastian Huber | |
2023-01-03 | pylint: Disable no-self-use | Sebastian Huber | |
This check is optional in version 2.14. | |||
2023-01-03 | Format with yapf version 0.32.0 | Sebastian Huber | |
2020-11-12 | specdoc/specverify: Support values of any type | Sebastian Huber | |
2020-10-28 | specverify: Fix type annotation | Sebastian Huber | |
2020-10-23 | specverify: Add SpecVerify.verify() | Sebastian Huber | |
2020-10-23 | specverify: Add SpecVerify.verify_all() | Sebastian Huber | |
Introduce a VerifyStatus tuple with an aggregated verify status. | |||
2020-10-23 | specverify: Introduce SpecVerifier class | Sebastian Huber | |
2020-07-15 | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber | |