aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
* feat(frontend): automatic fit zoomLibravatar Kristóf Marussy2023-08-24
* chore: clarify permissing licensingLibravatar Kristóf Marussy2023-08-24
* refactor(web): clean up graphviz visualizationLibravatar Kristóf Marussy2023-08-24
* refactor(web): move d3-zoom patch into repoLibravatar Kristóf Marussy2023-08-23
* feat(web): zoom controlsLibravatar Kristóf Marussy2023-08-23
* refactor: d3 zoom centeringLibravatar Kristóf Marussy2023-08-23
* feat: dot visualizationLibravatar Kristóf Marussy2023-08-23
* fix: predicate value translationLibravatar Kristóf Marussy2023-08-21
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
* fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
* fix: abstract type chain eliminationLibravatar Kristóf Marussy2023-08-19
* feat: interruptible VIATRA engineLibravatar Kristóf Marussy2023-08-19
* refactor: move ITC algorithmsLibravatar Kristóf Marussy2023-08-19
* refactor: apply local search fixes to VIATRALibravatar Kristóf Marussy2023-08-19
* chore: mark modified VIATRA filesLibravatar Kristóf Marussy2023-08-19
* refactor: merge VIATRA subprojectsLibravatar Kristóf Marussy2023-08-19
* refactor: remove unused VIATRA codeLibravatar Kristóf Marussy2023-08-19
* chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
* refactor: candidate interpreation only on demandLibravatar Kristóf Marussy2023-08-17
* fix: typo in language-web build scriptLibravatar Kristóf Marussy2023-08-17
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
* fix: containment link translationLibravatar Kristóf Marussy2023-08-17
* 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
* 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
* 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
* 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
* refactor: enable data variable unificationLibravatar Kristóf Marussy2023-07-09
* refactor: Dnf lifterLibravatar Kristóf Marussy2023-06-29
* feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
* feat: remove contradictory calls in Dnf builderLibravatar Kristóf Marussy2023-06-29
* refactor: query equality and hash codeLibravatar Kristóf Marussy2023-06-29
* feat: ordered query ResultSetLibravatar Kristóf Marussy2023-06-29
* fix: FilteredView default valueLibravatar Kristóf Marussy2023-06-22
* refactor: remove RuleLibravatar Kristóf Marussy2023-06-18
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-06-18