Age | Commit message (Expand) | Author |
---|---|---|
2020-07-15 | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber |
2020-07-03 | spec2rtems: Generate validation tests | Sebastian Huber |
2020-06-04 | Rename specif.py in spec2rtems.py | Sebastian Huber |
index : rtems-qual.git | ||
RTEMS Specification Items and Qualification Tools (prototype) | Charlie & |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2020-07-15 | Rename "rtemsqual" in "rtemsspec" | Sebastian Huber |
2020-07-03 | spec2rtems: Generate validation tests | Sebastian Huber |
2020-06-04 | Rename specif.py in spec2rtems.py | Sebastian Huber |