aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning
Commit message (Expand)AuthorAge
* refactor(semantics): remove shadow predicate interpretations during generationLibravatar Kristóf Marussy2024-08-02
* fix(reasoning): undirected reference refinementLibravatar Kristóf Marussy2024-08-02
* fix(semantics): handle empty modelsLibravatar Kristóf Marussy2024-08-02
* fix(reasoning): default false base predicvate translationLibravatar Kristóf Marussy2024-08-01
* feat: base predicatesLibravatar Kristóf Marussy2024-08-01
* refactor(reasoning): propagation in refinerLibravatar Kristóf Marussy2024-07-30
* feat: generator facade timeout and non-existent objectsLibravatar Kristóf Marussy2024-07-10
* refactor(reasoning): remove errors when possibleLibravatar Kristóf Marussy2024-07-03
* refactor(reasoning): lower multiplicity propagatorLibravatar Kristóf Marussy2024-07-03
* feat: container type propagationLibravatar Kristóf Marussy2024-07-03
* fix(reasoning): do not propagate invalidated objectsLibravatar Kristóf Marussy2024-07-02
* fix(semantics): traceability for internal rulesLibravatar Kristóf Marussy2024-07-02
* feat(reasoning): lower bound propagationrulesLibravatar Kristóf Marussy2024-07-02
* refactor: incomplete query liftingLibravatar Kristóf Marussy2024-07-01
* refactor(language): shadow predicates instead of computed value operatorLibravatar Kristóf Marussy2024-07-01
* refactor(language): change computed value symbolLibravatar Kristóf Marussy2024-06-30
* refactor(language): computed constraint symbolLibravatar Kristóf Marussy2024-06-30
* feat: access computed values of relationsLibravatar Kristóf Marussy2024-06-30
* refactor: improve propagation traceabilityLibravatar Kristóf Marussy2024-06-28
* refactor: show semantics even if propagation failsLibravatar Kristóf Marussy2024-06-28
* refactor(reasoning): fix Sonar warningsLibravatar Kristóf Marussy2024-06-28
* refactor(store): NeighborhoodCalculator APILibravatar Kristóf Marussy2024-06-28
* build: add Maven metadataLibravatar Kristóf Marussy2024-06-23
* refactor(dse): expose state coder parametersLibravatar Kristóf Marussy2024-06-20
* refactor(reasoning): candidate view should always be a refinement of partialLibravatar Kristóf Marussy2024-06-01
* feat: partial referencesLibravatar Kristóf Marussy2024-06-01
* fix(reasoning): candidate count literal rewritingLibravatar Kristóf Marussy2024-06-01
* feat: generate multiple solutionsLibravatar Kristóf Marussy2024-06-01
* fix(reasoning): candidate rounding modeLibravatar Kristóf Marussy2024-05-31
* fix(reasoning): default assertions for containment referencesLibravatar Kristóf Marussy2024-04-26
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* 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(dse): transformation rule builderLibravatar Kristóf Marussy2023-09-06
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-20 00:11:59 +0000