Age | Commit message (Expand) | 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 |
2023-01-03 | Replace type comment with ":" annotation | Sebastian Huber |
2023-01-03 | pylint: Disable no-self-use | Sebastian Huber |
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 |
2020-10-23 | specverify: Introduce SpecVerifier class | Sebastian Huber |
2020-07-15 | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber |