rtems-qual.git - RTEMS Specification Items and Qualification Tools (prototype)

Age	Commit message (Expand)	Author
2022-09-02	spec: Add external interfaces to a group	Sebastian Huber
2020-06-08	spec: Rename required in mandatory attributes	Sebastian Huber
2020-05-28	specdoc: Use mapper substitutions for descriptions	Sebastian Huber
2020-05-28	spec: Add interface domain items	Sebastian Huber
2020-05-28	spec: Add specification of interface items	Sebastian Huber
2020-05-28	spec: Add specification of glossary items	Sebastian Huber
2020-05-28	spec: Add specification of specification items	Sebastian Huber
2020-05-28	specdoc: New module	Sebastian Huber
2020-05-28	specverify: New module	Sebastian Huber