| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-05-19 | Update company name | Sebastian Huber |
| 2021-03-17 | validation: Add post-condition expressions | Sebastian Huber |
| 2021-03-17 | validation: Add default for transition map entries | Sebastian Huber |
| 2020-06-08 | spec: Generalize directive to action requirements | Sebastian Huber |
 |
index : rtems-qual.git | |
| RTEMS Specification Items and Qualification Tools (prototype) | Charlie & |
| summaryrefslogtreecommitdiff |