Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: Dnf reduction and structural equality | 2023-02-24 | |
| | |||
* | refactor: split query and partial from store | 2023-02-20 | |
| | | | | | | Allows more complicated dependency hiearchies (e.g., use store-query-viatra for testing store-partial) and better separation of test fixtures. | ||
* | feat: type inference for class hierarchies | 2023-02-20 | |
| | |||
* | feat: PartialInterpretation representations | 2023-02-17 | |
| | |||
* | refactor: EDSL for DNF literals | 2023-02-09 | |
| | |||
* | refactor: Atom -> Literal naming convention | 2023-02-09 | |
| | |||
* | refactor: PartialInterpretation adapter naming | 2023-02-03 | |
| | |||
* | refactor: Symbol as record | 2023-02-03 | |
| | | | | | Makes the intent of the code clearer by explicitly overriding equals and hashCode for by-reference comparison. Also fixes Sonar warning. | ||
* | fix: missing NoSuchElementException | 2023-02-02 | |
| | | | | | Bug was pointed out by Sonar: https://sonarcloud.io/project/issues?open=AYYT39yQKbLNgAqL21xC&id=graphs4value_refinery | ||
* | refactor: do not allow Symbol in CallAtom | 2023-02-02 | |
| | |||
* | feat: track uncommitted Model changes | 2023-02-02 | |
| | |||
* | feat: track ModelQuery pending changes | 2023-02-02 | |
| | |||
* | feat: model query functional dependencies | 2023-02-02 | |
| | |||
* | refactor: VIATRA adapter fixes | 2023-02-01 | |
| | |||
* | 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): compare VersionedMap instances | 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 | 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 | 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 | 2022-12-09 | |
| | | | | We will have to implement counting in DNF queries in another way. | ||
* | feat: add cardinality interval abstraction | 2022-12-09 | |
| | |||
* | feat(language): numeric expressions | 2022-11-22 | |
| | |||
* | 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 | |
| | |||
* | fix: make Tuple1 cache thread safe | 2022-10-03 | |
| | |||
* | refactor: tuples in QueryableModel | 2022-10-03 | |
| | |||
* | refactor: remove viatra dependency from store | 2022-10-03 | |
| | |||
* | refactor: move viatra into a separate subproject | 2022-10-03 | |
| | |||
* | feat: data structure for assertion merging | 2022-10-03 | |
| | |||
* | build: move modules into subproject directory | 2021-12-12 | |