aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src
Commit message (Expand)AuthorAge
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: state-based store for cross referencesLibravatar Kristóf Marussy2023-12-08
* fix: lower multiplicity objectiveLibravatar Kristóf Marussy2023-12-01
* fix: contains assertionsLibravatar Kristóf Marussy2023-11-17
* feat: predicates as reference typesLibravatar Kristóf Marussy2023-11-17
* chore: remove VIATRA brandingLibravatar Kristóf Marussy2023-09-16
* fix: multiplicity error for non-existing objectsLibravatar Kristóf Marussy2023-09-13
* fix: multi-objects with lower bound of 1Libravatar Kristóf Marussy2023-09-13
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
* feat: cancellation token for ModelStoreLibravatar Kristóf Marussy2023-09-11
* fix: build failures after integrating generationLibravatar Kristóf Marussy2023-09-11
* feat: integrate DSE with partial interpretationLibravatar Kristóf Marussy2023-09-09
* feat: declarative DSE rules and model refinementLibravatar Kristóf Marussy2023-09-07
* feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
* refactor: disable contains refinementLibravatar Kristóf Marussy2023-08-27
* fix: strong represenative election algorithmLibravatar Kristóf Marussy2023-08-27
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* fix: abstract type chain eliminationLibravatar Kristóf Marussy2023-08-19
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
* refactor: candidate interpreation only on demandLibravatar Kristóf Marussy2023-08-17
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
* fix: containment link translationLibravatar Kristóf Marussy2023-08-17
* fix: concrete supertype translationLibravatar Kristóf Marussy2023-08-13
* feat: metamodel translatorLibravatar Kristóf Marussy2023-08-13
* refactor: partial model initialzer unique tableLibravatar Kristóf Marussy2023-07-25
* feat: concrete count in partial modelsLibravatar Kristóf Marussy2023-07-25
* feat: custom connected component RETE nodeLibravatar Kristóf Marussy2023-07-23
* feat: partial interpretation for type hierarchyLibravatar Kristóf Marussy2023-07-20
* feat: multi-object based EQUALS and EXISTSLibravatar Kristóf Marussy2023-07-20
* feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
* refactor: Dnf lifterLibravatar Kristóf Marussy2023-06-29
* feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
* feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
* fix: FilteredView default valueLibravatar Kristóf Marussy2023-06-22
* refactor: remove RuleLibravatar Kristóf Marussy2023-06-18
* refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
* fix: further Dnf tests and fixesLibravatar Kristóf Marussy2023-06-17
* feat: count and aggregation literal reductionLibravatar Kristóf Marussy2023-05-03
* feat: query parameter binding validationLibravatar Kristóf Marussy2023-05-01
* refactor: query termsLibravatar Kristóf Marussy2023-04-23
* refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
* refactor: rename RelationView to SymbolViewLibravatar Kristóf Marussy2023-04-15
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* refactor: remove TupleLikeLibravatar Kristóf Marussy2023-04-07
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: more direct access to VIATRA result setLibravatar Kristóf Marussy2023-03-01
* refactor: rename PartialInterpretation adapterLibravatar Kristóf Marussy2023-02-25
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 16:35:34 +0000