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