Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-11-12 | specdoc/specverify: Support values of any type | Sebastian Huber | 1 | -0/+8 |
2020-10-28 | specverify: Fix type annotation | Sebastian Huber | 1 | -2/+2 |
2020-10-23 | specverify: Add SpecVerify.verify() | Sebastian Huber | 1 | -0/+10 |
2020-10-23 | specverify: Add SpecVerify.verify_all() | Sebastian Huber | 1 | -18/+66 |
2020-10-23 | specverify: Introduce SpecVerifier class | Sebastian Huber | 1 | -23/+31 |
2020-07-15 | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber | 1 | -1/+1 |
2020-06-08 | spec: Define generic attribute key types | Sebastian Huber | 1 | -13/+12 |
2020-06-08 | spec: Rename required in mandatory attributes | Sebastian Huber | 1 | -9/+9 |
2020-06-08 | Avoid superfluous use of dict.keys() | Sebastian Huber | 1 | -4/+2 |
2020-06-08 | Use enumerate() | Sebastian Huber | 1 | -3/+1 |
2020-05-28 | specverify: Improve contains operation | Sebastian Huber | 1 | -2/+5 |
2020-05-28 | Simplify sorted(*.keys()) | Sebastian Huber | 1 | -4/+4 |
2020-05-28 | specverify: Add subtypes in a defined order | Sebastian Huber | 1 | -2/+1 |
2020-05-28 | specverify: New module | Sebastian Huber | 1 | -0/+489 |