summaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
* 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(language): rename definition to computedLibravatar 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
* feat(language): computed value validationLibravatar Kristóf Marussy2024-06-30
* refactor(language): computed constraint symbolLibravatar Kristóf Marussy2024-06-30
* refactor(language): move computed to AtomLibravatar Kristóf Marussy2024-06-30
* feat: access computed values of relationsLibravatar Kristóf Marussy2024-06-30
* refactor: improve propagation rule diagnosticsLibravatar Kristóf Marussy2024-06-28
* 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(language): improve propagation rule validationLibravatar Kristóf Marussy2024-06-28
* refactor(generator): spellingLibravatar Kristóf Marussy2024-06-28
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-28
* fix(semantics): configure StateCoderAdapterLibravatar Kristóf Marussy2024-06-28
* refactor(store): NeighborhoodCalculator APILibravatar Kristóf Marussy2024-06-28
* interpreter: Fix NPE in VQE wipe/dispose -> EVM -> MatchUpdateListener chainsLibravatar Kristóf Marussy2024-06-27
* refactor(docs): improve website formattingLibravatar Kristóf Marussy2024-06-25
* fix(frontend): Algolia searchLibravatar Kristóf Marussy2024-06-24
* chore(frontend): fix peer dependency warningsLibravatar Kristóf Marussy2024-06-23
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-23
* build: publish Maven snapshots to GH pagesLibravatar Kristóf Marussy2024-06-23
* build: automate GitHub pages deploymentLibravatar Kristóf Marussy2024-06-23
* build: add Maven metadataLibravatar Kristóf Marussy2024-06-23
* refactor(dse): expose state coder parametersLibravatar Kristóf Marussy2024-06-20
* refactor(logic): fix Sonar errorLibravatar Kristóf Marussy2024-06-19
* refactor(logic): non-null aggregatorsLibravatar Kristóf Marussy2024-06-19
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-17
* fix: monomorphic matching for focus argumentsLibravatar Kristóf Marussy2024-06-17
* fix: allow predicates in rule actionsLibravatar Kristóf Marussy2024-06-17
* feat(language): warn about partial referencesLibravatar Kristóf Marussy2024-06-17
* refactor(language): allow rules without preconditionsLibravatar Kristóf Marussy2024-06-17
* feat(language): validate quantification in rulesLibravatar Kristóf Marussy2024-06-16
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-01
* 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
* refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
* fix(language): validate unique rule namesLibravatar Kristóf Marussy2024-05-26
* fix(language): spurious exception in ProblemValidatorLibravatar Kristóf Marussy2024-05-26
* fix(semantics): negative quantification in rulesLibravatar Kristóf Marussy2024-05-26
* feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
* feat(dse): detect stuch propagation rulesLibravatar Kristóf Marussy2024-05-26
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-20 09:20:19 +0000