Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | spec: Document clock manager | Sebastian Huber | 2021-02-17 | 2 | -3/+12 |
* | spec: Add constraints to create/delete | Sebastian Huber | 2021-02-10 | 1 | -0/+11 |
* | spec: Add constraints to semaphore manager | Sebastian Huber | 2021-02-10 | 1 | -0/+11 |
* | spec: Rename constraint | Sebastian Huber | 2021-02-10 | 1 | -1/+1 |
* | spec: Improve wording | Sebastian Huber | 2021-02-04 | 1 | -2/+1 |
* | spec: Add constraints | Sebastian Huber | 2021-02-03 | 15 | -0/+163 |