aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
| | | | | Make our modifications more maintainable by editing the source code directly instead of using reflection.
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
|
* build: fix deprecation warningLibravatar Kristóf Marussy2023-08-17
| | | | https://docs.gradle.org/8.2.1/userguide/upgrading_version_8.html#test_framework_implementation_dependencies
* refactor: candidate interpreation only on demandLibravatar Kristóf Marussy2023-08-17
| | | | Avoid creating interpretations not needed for the graph analysis task.
* fix: typo in language-web build scriptLibravatar Kristóf Marussy2023-08-17
|
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
| | | | | A new object should not be an instance of any subclasses. Also, it should be possible cleare a node without any other type.
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
|
* fix: containment link translationLibravatar Kristóf Marussy2023-08-17
| | | | | Improper equality implementation of representative election literals merged weak and strong connected components during query canonicalization.
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-15
|
* refactor(language): invalid multiplicity traceLibravatar Kristóf Marussy2023-08-15
| | | | | Also simplifies attributes and flags for now, as we don't translate them to abstractions.
* 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
| | | | | Reduce memory use of initial partial models by consolidating value objects.
* 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
| | | | | | | | | Adds translator for EQUALS and EXISTS symbols based on the multi-object formalism. Only diagonal equality links are supported (e.g., distinct nodes may not be EQUALS with each other). Also introduces initial model seeds to separate partial interpreter construction and graph initialization better.
* feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
|
* feat: use base index for local searchLibravatar Kristóf Marussy2023-07-15
|
* feat: base indexer for storeLibravatar Kristóf Marussy2023-07-15
|
* fix: ConstantLiteral to PConstraintLibravatar Kristóf Marussy2023-07-15
|
* feat: query rewriters for ViatraLibravatar Kristóf Marussy2023-07-15
|
* feat: DNF rewritingLibravatar Kristóf Marussy2023-07-10
| | | | | | | | * DuplicateDnfRewriter replaces DNF with their canonical representatives * ClauseInputParameterResolver removes input parameters by demand set transformation * CompositeRewriter for rewriter stacks
* refactor: enable data variable unificationLibravatar Kristóf Marussy2023-07-09
| | | | | | This is needed for demand set transformation of DNFs with input data parameters, where the result of the transformation has an out data parameter that has to be unified with the variable in the parent clause.
* refactor: Dnf lifterLibravatar Kristóf Marussy2023-06-29
| | | | | * Use method object pattern to simplify code. * Optimize existential quantification in transitive queries.
* feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
| | | | Support for count and aggregation is still missing.
* feat: remove contradictory calls in Dnf builderLibravatar Kristóf Marussy2023-06-29
|
* refactor: query equality and hash codeLibravatar Kristóf Marussy2023-06-29
| | | | | | | Allow computing hash codes up to the renaming of variables. Also introduces CheckLiteral instead of AssumeLiteral for more straightforward naming.
* feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
| | | | | | | | | | | | | | Enable deterministic state-space exploration by ordering activations in lexicographic order. This preliminary implementation adds oredering as a wrapper for ResultSet instances, but more sophisticated support could be built directly into query engine adapters if a query engine supports deterministic output by default. * Implements Comparable for tuples with loops unrolled for small tuples by hand. * Cleans up the contents of the (root of the) tools.refinery.query package. * Adds ResultSetListener to notify clients about ResultSet changes. * Adds OrderStatisticTree data structure for determinisitc ordering of keys.
* fix: FilteredView default valueLibravatar Kristóf Marussy2023-06-22
| | | | | The filer can't return true for the default value, because tuples with default value cannot be enumerated.
* refactor: remove RuleLibravatar Kristóf Marussy2023-06-18
| | | | We will need to rework rule execution according to recent Dnf changes.
* chore: .yarnrc.yml licenseLibravatar Kristóf Marussy2023-06-18
|
* Merge pull request #26 from kris7t/query-refactorLibravatar Kristóf Marussy2023-06-18
|\ | | | | Query refactor
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-06-18
| |
| * refactor: prefer Query.of over Dnf.ofLibravatar Kristóf Marussy2023-06-18
| |
| * refactor: clean up Symbol constructorLibravatar Kristóf Marussy2023-06-18
| | | | | | | | Shorthad syntax for the most commonly used symbol types.
| * fix: further Dnf tests and fixesLibravatar Kristóf Marussy2023-06-17
| |
| * refactor(query): structural equality matcherLibravatar Kristóf Marussy2023-06-15
| | | | | | | | | | Add the ability to create assertions without pre-processing Dnf clauses (raw matchin mode). Also fix tests broken by Dnf pre-processing.
| * refactor: simplified Dnf parameter directionsLibravatar Kristóf Marussy2023-05-26
| |
| * feat: count and aggregation literal reductionLibravatar Kristóf Marussy2023-05-03
| |
| * refactor: avoid unnecessary Literal substitutionsLibravatar Kristóf Marussy2023-05-01
| |
| * feat: query parameter binding validationLibravatar Kristóf Marussy2023-05-01
| | | | | | | | | | | | | | * Introduce parameter directions for constraints and DNF * Introduce variable directions for literals * Infer and check variable directions in DNF and topologically sort literals by their input variables
| * fix(web): editor cursor stylingLibravatar Kristóf Marussy2023-04-26
| | | | | | | | | | Temporarily remove custom scrollbar and indentation styling, because they interferred with cursor visibility.
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-26
| |
| * build: reduce ESLint performance costLibravatar Kristóf Marussy2023-04-26
| | | | | | | | Disable some rules that we don't use but require repeated file parsing.
| * build: improve Xtext project isolationLibravatar Kristóf Marussy2023-04-26
| | | | | | | | | | | | * Avoid writing generated source files directly into sibling projects. * Full project isolation cannot be enabled yet, because the frontend plugin still requires cross-projects task dependencies for Node.js installation.
| * build: enable parallel Gradle buildLibravatar Kristóf Marussy2023-04-25
| | | | | | | | | | Also increases timeout in WebSocket integration test to avoid failures due to increased CPU usage during build.
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-04-25
| |
| * refactor: query termsLibravatar Kristóf Marussy2023-04-23
| | | | | | | | | | | | | | * Separate different operators into different classes to make it easier to add functionality (e.g., simplification) later. * Add UpperCardinality terms. * Move UpperCardinality aggregator and tests into refinery-store-query.
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 22:37:46 +0000