Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update company name | Sebastian Huber | 2023-05-19 | 1 | -1/+1 |
* | spec: Fix action requirement patterns | Sebastian Huber | 2022-01-11 | 1 | -1/+1 |
* | validation: Add post-condition expressions | Sebastian Huber | 2021-03-17 | 1 | -0/+5 |
* | validation: Allow N/A for post-condition states | Sebastian Huber | 2021-03-17 | 1 | -0/+21 |