Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | specverify: Fix type annotation | Sebastian Huber | 2020-10-28 | 1 | -2/+2 |
* | specverify: Add SpecVerify.verify() | Sebastian Huber | 2020-10-23 | 1 | -0/+10 |
* | specverify: Add SpecVerify.verify_all() | Sebastian Huber | 2020-10-23 | 1 | -18/+66 |
* | specverify: Introduce SpecVerifier class | Sebastian Huber | 2020-10-23 | 1 | -23/+31 |
* | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber | 2020-07-15 | 1 | -0/+486 |