Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat: negative and transitive RelationViewAtom | Kristóf Marussy | 2023-01-29 |
* | refactor: Model store and query API | Kristóf Marussy | 2023-01-29 |
* | refactor(store): simplify return types | Kristóf Marussy | 2022-12-13 |
* | refactor(store): remove CountPolarity | Kristóf Marussy | 2022-12-09 |
* | feat: add cardinality interval abstraction | Kristóf Marussy | 2022-12-09 |
* | refactor: rename CallKind to Polarity | Kristóf Marussy | 2022-11-05 |
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
* | refactor: DNF query builder | Kristóf Marussy | 2022-11-05 |
* | refactor: tuples in QueryableModel | Kristóf Marussy | 2022-10-03 |
* | refactor: remove viatra dependency from store | Kristóf Marussy | 2022-10-03 |
* | refactor: move viatra into a separate subproject | Kristóf Marussy | 2022-10-03 |