aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* 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
| | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API
* interpreter: Fix NPE in VQE wipe/dispose -> EVM -> MatchUpdateListener chainsLibravatar Kristóf Marussy2024-06-27
| | | | | | Port https://github.com/eclipse-viatra/org.eclipse.viatra/commit/a70e5e35f254079fbb0819731c81f64b3c79d1d7 from the VIATRA upstream repository
* docs: add links between JavadocsLibravatar Kristóf Marussy2024-06-25
|
* refactor(docs): improve website formattingLibravatar Kristóf Marussy2024-06-25
|
* chore(deps): move away from insecure ip.jsLibravatar Kristóf Marussy2024-06-24
| | | | | See https://github.com/indutny/node-ip/issues/150#issuecomment-2155251163
* build: create Docker images automaticallyLibravatar Kristóf Marussy2024-06-24
|
* 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: separate refinery-cli Docker imageLibravatar Kristóf Marussy2024-06-23
|
* chore(deps): extract tools.refinery.z3Libravatar Kristóf Marussy2024-06-23
| | | | Moved to https://github.com/graphs4value/refinery-z3
* 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
|
* Merge pull request #60 from kris7t/rulesLibravatar Kristóf Marussy2024-06-17
|\ | | | | Refinement rule support
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-06-17
| |
| * fix: monomorphic matching for focus argumentsLibravatar Kristóf Marussy2024-06-17
| | | | | | | | | | | | | | | | | | Since we don't do pre-matching for multi-objects, there's no way to fire a decision rule with multiple focus arguments without creating a new concrete object for each focus argument, even if they match the same multi-object. To be more consistent with the multi-object case, we also don't allow the same concrete object to appear as two distict focus arguments.
| * fix: allow predicates in rule actionsLibravatar Kristóf Marussy2024-06-17
| | | | | | | | | | We must mark any predicate definition in a rule action as mutable so that we can collect assertions created by rules during model generation.
| * 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
| |
| * build: publish CLI as Docker containerLibravatar Kristóf Marussy2024-06-02
| |
| * build: set Gradle JVM versionLibravatar Kristóf Marussy2024-06-01
| | | | | | | | | | See https://docs.gradle.org/8.8/release-notes.html#gradle-daemon-jvm-configurable-via-toolchain
| * 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
| | | | | | | | | | | | | | | | | | | | Merge the candidate may/must queries with the partial may/must queries so that reasoning in the candidate model uses "Gentzen-style" assumptions about the candidate values of partal symbols that would be computed as unknown. This should not lead to performance degradation, because the corresponding joins were already being computed in the stopping criterion. In many cases, the extra clauses are immediately optimized away by the query optimizer anyways.
| * feat: partial referencesLibravatar Kristóf Marussy2024-06-01
| | | | | | | | | | References marked as partial are not concretized during model generation. The should be managed by the user manually using propagation rules instead.
| * fix(reasoning): candidate count literal rewritingLibravatar Kristóf Marussy2024-06-01
| |
| * feat: generate multiple solutionsLibravatar Kristóf Marussy2024-06-01
| | | | | | | | | | Switch to partial interpretation based neighborhood calculation when multiple models are request to avoid returning isomorphic models.
| * fix(reasoning): candidate rounding modeLibravatar Kristóf Marussy2024-05-31
| |
| * refactor(language): rule syntaxLibravatar Kristóf Marussy2024-05-30
| | | | | | | | Make the rule syntax more similar to the predicate syntax.
| * fix(language): validate unique rule namesLibravatar Kristóf Marussy2024-05-26
| |
| * fix(language): spurious exception in ProblemValidatorLibravatar Kristóf Marussy2024-05-26
| | | | | | | | | | Make sure getNodeArgumentForMultiObjectAssertion runs correctly even for ASTs with parse errors.
| * fix(semantics): negative quantification in rulesLibravatar Kristóf Marussy2024-05-26
| | | | | | | | | | Make sure we appropriate quantify over the existence of objects in negative and transitive calls in rule preconditions.
| * feat(language): node constants in rule actionsLibravatar Kristóf Marussy2024-05-26
| |
| * feat(dse): detect stuch propagation rulesLibravatar Kristóf Marussy2024-05-26
| |
| * feat: rule translationLibravatar Kristóf Marussy2024-05-26
| |
| * feat(language): more extensive rule validationLibravatar Kristóf Marussy2024-05-26
| |
| * refactor(language): merge Assertion and AssertionActionLibravatar Kristóf Marussy2024-05-26
| |
| * feat(language): rule validationLibravatar Kristóf Marussy2024-05-26
| |
| * feat: type checking for rulesLibravatar Kristóf Marussy2024-05-26
| |
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 02:19:25 +0000