aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* feat(frontend): window pane switcherLibravatar Kristóf Marussy2023-08-30
* refactor(frontend): filter dialog formattingLibravatar Kristóf Marussy2023-08-30
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-30
* fix(frontend): completion cache invalidationLibravatar Kristóf Marussy2023-08-30
* feat(frontend): hide isolated nodesLibravatar Kristóf Marussy2023-08-30
* feat(frontend): projection dialogLibravatar Kristóf Marussy2023-08-30
* refactor(frontend): containment arrow sizeLibravatar Kristóf Marussy2023-08-29
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-28
* refactor: disable contains refinementLibravatar Kristóf Marussy2023-08-27
* fix: strong represenative election algorithmLibravatar Kristóf Marussy2023-08-27
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-26
* 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
* build: fix deprecation warningLibravatar Kristóf Marussy2023-08-17
* 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