aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
* build: runtimeOnly Eclipse Collections if posibleLibravatar Kristóf Marussy2023-09-03
* feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03
* chore(build): replce deprecated Gradle API useLibravatar Kristóf Marussy2023-08-31
* refactor(viatra): replace Stack with DequeLibravatar Kristóf Marussy2023-08-31
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-31
* chore(deps): downgrade to @mui/x-data-grid 6.10.0Libravatar Kristóf Marussy2023-08-31
* refactor(frontend): secondary pane switch shortcutLibravatar Kristóf Marussy2023-08-31
* refactor(frontend): compact relation tableLibravatar Kristóf Marussy2023-08-31
* refactor(frontend): pane button themeLibravatar Kristóf Marussy2023-08-31
* feat(frontend): implement grid viewLibravatar Kristóf Marussy2023-08-31
* 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