Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: track ModelQuery pending changes | 2023-02-02 | |
| | |||
* | feat: model query functional dependencies | 2023-02-02 | |
| | |||
* | feat: negative and transitive RelationViewAtom | 2023-01-29 | |
| | | | | | Use PVisibility.EMBEDDED helper patterns to avoid superfluous production nodes in the Rete net. | ||
* | refactor: Model store and query API | 2023-01-29 | |
| | | | | Use Adapters to simplify API usage. | ||
* | refactor(store): remove CountPolarity | 2022-12-09 | |
| | | | | We will have to implement counting in DNF queries in another way. | ||
* | feat: add cardinality interval abstraction | 2022-12-09 | |
| | |||
* | feat(store): DataRepresentation reflective type | 2022-11-10 | |
| | |||
* | refactor: rename CallKind to Polarity | 2022-11-05 | |
| | |||
* | refactor: DNF atoms | 2022-11-05 | |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | refactor: DNF query builder | 2022-11-05 | |
| | |||
* | refactor: tuples in QueryableModel | 2022-10-03 | |
| | |||
* | refactor: move viatra into a separate subproject | 2022-10-03 | |