aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
| | * | Cursor comparison bugfix with empty cursors (and null values).Libravatar OszkarSemerath2023-02-05
| | * | DiffCursor value comparison support for null values.Libravatar OszkarSemerath2023-02-05
| | * | Code quality improvements in cursorsLibravatar OszkarSemerath2023-02-05
| | * | Code quality improvements in nodesLibravatar OszkarSemerath2023-02-05
| | * | Performance improvements by replacing hash depth calculation with shifting, i...Libravatar OszkarSemerath2023-02-04
| | | * feat(web): control server settings with env varsLibravatar Kristóf Marussy2023-09-05
| | | * fix(frontend): GraphArea scrollLibravatar Kristóf Marussy2023-09-05
| | | * refactor: disable all animations for large graphsLibravatar Kristóf Marussy2023-09-05
| | | * build: remove unused Java modules from containerLibravatar Kristóf Marussy2023-09-05
| | | * build: switch to Amazon CorrettoLibravatar Kristóf Marussy2023-09-05
| | | * refactor: server environemntal variablesLibravatar Kristóf Marussy2023-09-04
| | | * refactor(frontend): graph visualizer performanceLibravatar Kristóf Marussy2023-09-04
| | | * build: add DockerfileLibravatar Kristóf Marussy2023-09-03
| | | * feat(frontend): hide object scopes by defaultLibravatar Kristóf Marussy2023-09-03
| | | * chore: prefer Prolog-style commentsLibravatar Kristóf Marussy2023-09-03
| | | * 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