summaryrefslogtreecommitdiffstats
path: root/rtemsspec/specverify.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* specverify: Fix type annotationSebastian Huber2020-10-281-2/+2
* specverify: Add SpecVerify.verify()Sebastian Huber2020-10-231-0/+10
* specverify: Add SpecVerify.verify_all()Sebastian Huber2020-10-231-18/+66
* specverify: Introduce SpecVerifier classSebastian Huber2020-10-231-23/+31
* Rename "rtemsqual" in "rtemsspec"Sebastian Huber2020-07-151-0/+486