Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: negative and transitive RelationViewAtom | Kristóf Marussy | 2023-01-29 |
| | | | | | Use PVisibility.EMBEDDED helper patterns to avoid superfluous production nodes in the Rete net. | ||
* | refactor: Model store and query API | Kristóf Marussy | 2023-01-29 |
| | | | | Use Adapters to simplify API usage. | ||
* | refactor(store): compare VersionedMap instances | Kristóf Marussy | 2022-12-21 |
| | | | | | | | The Java hashCode and equals API is inappropriate here, because an AnyVersionedMap is mutable. Added new methods to hash and compare AnyVersionedMap instances by their contents and marked the built-in Java methods as deprecated. | ||
* | refactor(store): simplify return types | Kristóf Marussy | 2022-12-13 |
| | | | | | | Prefers sealed non-generic interfaces over wildcard types to avoid confusion about method return types, especially in collections (see SonarQube rule java:S1452). | ||
* | chore(deps): upgrade to yarn canary | Kristóf Marussy | 2022-12-13 |
| | | | | | | | Support for typescript@4.9.4 available in yarn 4.0.0-rc.33 according to https://github.com/yarnpkg/berry/pull/5127#issuecomment-1345664949 Also updates other frontend dependencies. | ||
* | refactor(store): remove CountPolarity | Kristóf Marussy | 2022-12-09 |
| | | | | We will have to implement counting in DNF queries in another way. | ||
* | feat: add cardinality interval abstraction | Kristóf Marussy | 2022-12-09 |
| | |||
* | feat(language): numeric expressions | Kristóf Marussy | 2022-11-22 |
| | |||
* | feat(store): DataRepresentation reflective type | Kristóf Marussy | 2022-11-10 |
| | |||
* | refactor: rename CallKind to Polarity | Kristóf Marussy | 2022-11-05 |
| | |||
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | refactor: DNF query builder | Kristóf Marussy | 2022-11-05 |
| | |||
* | fix: make Tuple1 cache thread safe | Kristóf Marussy | 2022-10-03 |
| | |||
* | 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 |
| | |||
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |
| | |||
* | build: move modules into subproject directory | Kristóf Marussy | 2021-12-12 |