aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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
| | | | | | | | | | | | | | | | in case null != default
| | * | Code quality improvements in cursorsLibravatar OszkarSemerath2023-02-05
| | | |
| | * | Code quality improvements in nodesLibravatar OszkarSemerath2023-02-05
| | | | | | | | | | | | | | | | printer appending + empty node stack checking
| | * | Performance improvements by replacing hash depth calculation with shifting, ↵Libravatar OszkarSemerath2023-02-04
| | | | | | | | | | | | | | | | | | | | | | | | improving code quality. + formatting
| | | * feat(web): control server settings with env varsLibravatar Kristóf Marussy2023-09-05
| | | |
| | | * fix(frontend): GraphArea scrollLibravatar Kristóf Marussy2023-09-05
| | | | | | | | | | | | | | | | | | | | When the VisibilityDialog is not open, it should be unmounted to allow the VisibilityPanel to become small and not cover the GraphArea below.
| | | * 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
| | | | | | | | | | | | | | | | Hopefully improved performance on AWS Graviton
| | | * refactor: server environemntal variablesLibravatar Kristóf Marussy2023-09-04
| | | | | | | | | | | | | | | | | | | | | | | | * Prefix each variable with REFINERY_ * If not public host is specified, allow all origings and compute the WebSocket address on the client from the origin.
| | | * refactor(frontend): graph visualizer performanceLibravatar Kristóf Marussy2023-09-04
| | | | | | | | | | | | | | | | Also show scopes unconditionally if enabled.
| | | * 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Versions 6.10.1 use eval, which causes problems with CSP and minification: https://github.com/mui/mui-x/issues/9771 https://github.com/mui/mui-x/issues/10056
| | | * 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
| | | | | | | | | | | | | | | | Also downgrade @types/node to match the running Node version.
| | | * fix(frontend): completion cache invalidationLibravatar Kristóf Marussy2023-08-30
| | | | | | | | | | | | | | | | | | | | | | | | In some cases, especially with an empty editor, trying to map completions over the last changes may result in a RangeError. If unhandled, the error corrupts editor state.
| | | * 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
| | | | | | | | | | | | | | | | | | | | Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers.
| | | * chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-28
| | | | | | | | | | | | | | | | Also downgrade EMF dependencies to be compatible with the Xtext BOM
| | | * refactor: disable contains refinementLibravatar Kristóf Marussy2023-08-27
| | | | | | | | | | | | | | | | | | | | | | | | Providing an efficient refinement calculus would be too difficult at this point, and contains is much more useful as a constraint in predicates that as an assertions anyway.
| | | * fix: strong represenative election algorithmLibravatar Kristóf Marussy2023-08-27
| | | | | | | | | | | | | | | | Make sure to merge all clusters reachable from source and target.
| | | * 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For permissive licenses like MIT and BSD, OR EPL doesn't make sense, because the copyright original permission notice must be retained at all times. For code simply copied with minimal modifications that are unrelated to Refinery, we can just use the plain MIT license or BSD-3-clause license. For code with complex modifications related to Refinery, we can instead use the MIT AND EPL-2.0 SPDX expression, which forces downstream users to retain the original MIT notices as required by the MIT license, but also extends Refinery's copyleft to our modifications.
| | | * refactor(web): clean up graphviz visualizationLibravatar Kristóf Marussy2023-08-24
| | | |
| | | * refactor(web): move d3-zoom patch into repoLibravatar Kristóf Marussy2023-08-23
| | | | | | | | | | | | | | | | | | | | Instead of referencing an external pull request, move the patch into yarn/.patches and update it to handle pinch-to-zoom.
| | | * feat(web): zoom controlsLibravatar Kristóf Marussy2023-08-23
| | | |
| | | * refactor: d3 zoom centeringLibravatar Kristóf Marussy2023-08-23
| | | | | | | | | | | | | | | | Uses patch from https://github.com/d3/d3-zoom/pull/212
| | | * 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
| | | | | | | | | | | | | | | | | | | | Also makes model seeds cancellable to reduce server load during semantic analysis.
| | | * fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
| | | | | | | | | | | | | | | | | | | | Decision trees can only handle relations with 1 level and up, so we use a special case for nullary relations.
| | | * fix: abstract type chain eliminationLibravatar Kristóf Marussy2023-08-19
| | | |
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-19 14:09:10 +0000