| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
| |
Efficiently store cross references even if default ref(*, *): false.
Uses propagation rules instead of view queries to reason about type constraints
and multiplicity.
|
|
|
|
|
|
|
|
| |
Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with
Eclipse Foundation trademarks.
Uses refering to a specific (historical) version of VIATRA were kept to avoid
ambiguity.
|
| |
|
|
|
|
| |
Make sure to merge all clusters reachable from source and target.
|
|
|
|
|
| |
Also makes model seeds cancellable to reduce server load during semantic
analysis.
|
| |
|
| |
|
|
|
|
|
| |
Improper equality implementation of representative election literals merged weak
and strong connected components during query canonicalization.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
* Use method object pattern to simplify code.
* Optimize existential quantification in transitive queries.
|
|
|
|
| |
Support for count and aggregation is still missing.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Make sure we obey the REUSE (https://reuse.software) specification and the
origin, copyright owner, and license of all files are clearly marked.
The whole project is under the EPL-2.0, except for trivial files where copyright
is not applicable that are marked with the CC0-1.0 license. Moreover, code
included from third parties is also available under the respective license.
chore: add CONTRIBUTORS.md
List all authors and supporting organizations in accordance with the REUSE
specification.
|
|
|