Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update company name | Sebastian Huber | 2023-05-19 | 1 | -1/+1 |
* | specdoc/specverify: Support values of any type | Sebastian Huber | 2020-11-12 | 1 | -2/+8 |
* | specverify: Add SpecVerify.verify() | Sebastian Huber | 2020-10-23 | 1 | -6/+53 |
* | specverify: Add SpecVerify.verify_all() | Sebastian Huber | 2020-10-23 | 1 | -1/+6 |
* | tests: Add and use get_and_clear_log() | Sebastian Huber | 2020-09-18 | 1 | -10/+7 |
* | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber | 2020-07-15 | 1 | -0/+1909 |