summaryrefslogtreecommitdiffstats
path: root/eng/glossary.rst (follow)
Commit message (Expand)AuthorAgeFilesLines
* glossary: Add termsSebastian Huber2023-12-191-5/+21
* eng: Add formal verification chapterAndrew Butterfield2023-11-091-0/+14
* Update company nameSebastian Huber2023-05-201-1/+1
* eng: Rework performance meansurement itemsSebastian Huber2023-05-041-0/+3
* Use a complete sentence for acronym definitionsSebastian Huber2020-06-041-10/+10
* eng: Add generated documentation of spec itemsSebastian Huber2020-05-291-6/+0
* eng: Add glossary termsSebastian Huber2020-04-011-0/+89
* eng: Add glossarySebastian Huber2020-03-021-0/+61