aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend
Commit message (Collapse)AuthorAge
* refactor(frontend): cleaner SVG exportLibravatar Kristóf Marussy2024-02-23
| | | | | | | | | Make sure svg can process the resulting SVG without changing visuals. In particular, we must not use specific stroke/fill values as CSS selectors, because svgo may change them into hex codes. Instead, we annotate all diagram elements with class names.
* feat(web): SVG exportLibravatar Kristóf Marussy2024-02-22
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-02-19
|
* fix(frontend): module name highlightingLibravatar Kristóf Marussy2024-02-18
|
* refactor(language): name disambiguationLibravatar Kristóf Marussy2024-02-02
| | | | | | * Use fully qualified names starting with :: (as in C++) to unambiguously refer to an element. * Name shadowing within modules.
* feat(language): validate module isolationLibravatar Kristóf Marussy2024-01-31
|
* refactor(language): module and node declarationsLibravatar Kristóf Marussy2024-01-31
| | | | | | | | * New default file extension: .refinery (.problem is also supported). * Add module keyword for self-contained modules. * Rename indiv declarations to atom declaration. * Add node and multi declarations for explicitly declared nodes and multi-objects, respectively.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-30
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-01-07
|
* feat(web): toggle identifier coloringLibravatar Kristóf Marussy2024-01-03
|
* refactor(web): subtler error predicate highlightLibravatar Kristóf Marussy2024-01-03
|
* feat(web): color identifiers and nodesLibravatar Kristóf Marussy2024-01-03
| | | | | We use a palette-based coloring strategy, where each class and enum gets a color from
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-12-24
|
* chore(deps): Java 21Libravatar Kristóf Marussy2023-12-03
| | | | Also bumps other dependencies.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-11-19
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-10-19
|
* fix(frontend): contains contextual keywordLibravatar Kristóf Marussy2023-10-16
| | | | | | | Make sure contains is parsed as a contextual keyword whenever possible. The existing cut operator wasn't sufficient for this, so we also add dynamic precedence to the grammar rule.
* feat(frontend): save in URL fragmentLibravatar Kristóf Marussy2023-09-26
|
* fix(frontend): typo in EditorThemeLibravatar Kristóf Marussy2023-09-19
|
* fix(frontend): XState warningLibravatar Kristóf Marussy2023-09-17
| | | | Make sure we do not create conflicting transitions.
* fix(frontend): compilation on WindowsLibravatar Kristóf Marussy2023-09-17
|
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-09-17
|
* build: fix Sonar quality gate issuesLibravatar Kristóf Marussy2023-09-16
| | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project.
* feat: specify random seed for generationLibravatar Kristóf Marussy2023-09-14
|
* fix(frontend): keep live while model generationLibravatar Kristóf Marussy2023-09-13
| | | | | Do not close the connection in a background tab if the model generation is still running, because closing the connection will immediately cancel generation.
* fix: example Statechart specificationLibravatar Kristóf Marussy2023-09-13
| | | | The default multiplicity is [0..1].
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-09-13
|
* refactor(frontend): generation appearance fixesLibravatar Kristóf Marussy2023-09-13
| | | | | * Allow scrolling the tab bar. * Less prominent error text.
* refactor(frontend): hide non-existent nodesLibravatar Kristóf Marussy2023-09-12
|
* feat: connect model generator to UILibravatar Kristóf Marussy2023-09-12
|
* 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
|
* 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.
* 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
|
* chore(build): replce deprecated Gradle API useLibravatar 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
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-26 12:39:00 +0000