Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | glossary: Add terms | Sebastian Huber | 2023-12-19 | 1 | -5/+21 |
* | eng: Add formal verification chapter | Andrew Butterfield | 2023-11-09 | 1 | -0/+14 |
* | Update company name | Sebastian Huber | 2023-05-20 | 1 | -1/+1 |
* | eng: Rework performance meansurement items | Sebastian Huber | 2023-05-04 | 1 | -0/+3 |
* | Use a complete sentence for acronym definitions | Sebastian Huber | 2020-06-04 | 1 | -10/+10 |
* | eng: Add generated documentation of spec items | Sebastian Huber | 2020-05-29 | 1 | -6/+0 |
* | eng: Add glossary terms | Sebastian Huber | 2020-04-01 | 1 | -0/+89 |
* | eng: Add glossary | Sebastian Huber | 2020-03-02 | 1 | -0/+61 |