Commit message (Expand) | Author | Age | |
---|---|---|---|
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
* | feat: data structure for default assertions | Kristóf Marussy | 2022-10-03 |
* | refactor: tuples in QueryableModel | Kristóf Marussy | 2022-10-03 |
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |