aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
...
| | | * Delta store commitLibravatar OszkarSemerath2023-02-05
| | | * Fixing warning caused by an "unused parameter" which is used by an annotationLibravatar OszkarSemerath2023-02-05
| | | * Formatting fuzz tests + improving code qualitzLibravatar OszkarSemerath2023-02-05
| | | * Merge remote-tracking branch 'origin/datastructure' into datastructureLibravatar OszkarSemerath2023-02-05
| | | |\
| | | | * Extending map tests with null as default value.Libravatar OszkarSemerath2023-02-05
| | | * | Extending map tests with null as default value.Libravatar OszkarSemerath2023-02-05
| | | |/
| | | * fixup! Performance improvements by replacing hash depth calculation with shif...Libravatar OszkarSemerath2023-02-05
| | | * 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