summaryrefslogtreecommitdiffstats
path: root/eng/glossary.rst (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-19glossary: Add termsSebastian Huber1-5/+21
2023-11-09eng: Add formal verification chapterAndrew Butterfield1-0/+14
2023-05-20Update company nameSebastian Huber1-1/+1
2023-05-04eng: Rework performance meansurement itemsSebastian Huber1-0/+3
2020-06-04Use a complete sentence for acronym definitionsSebastian Huber1-10/+10
2020-05-29eng: Add generated documentation of spec itemsSebastian Huber1-6/+0
2020-04-01eng: Add glossary termsSebastian Huber1-0/+89
2020-03-02eng: Add glossarySebastian Huber1-0/+61